summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
f8aa4c9)
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
border-left: 2px solid #0d8921;
}
border-left: 2px solid #0d8921;
}
+
+.pull-right .dropdown-toggle {
+ padding: 0 5px;
+}
+
+/* Hide the "..." link */
+
+article .dropdown, article .dropdown {
+ visibility: hidden;
+}
+article:hover .dropdown, article:target .dropdown {
+ visibility: visible;
+}
+
-.source-link {
- display: none;
- float: right;
- margin-top: 10px;
-}
-
-.source-link a {
- color: #0d8921;
-}
-
-article:hover .source-link, article:target .source-link {
- display: block;
-}
-
/*
* Code Highlighting
*/
/*
* Code Highlighting
*/
# Link to source to display if any.
var html_source_link: nullable Writable is noinit, writable
# Link to source to display if any.
var html_source_link: nullable Writable is noinit, writable
- redef fun render_title do
+ redef fun render_body do
+ var tabs = new DocTabs("{html_id}.tabs", "")
+ var comment = mentity.html_comment
+ if comment != null then
+ tabs.add_panel new DocTabPanel("{html_tab_id}-comment", "Comment", comment)
+ end
+ for child in children do
+ if child.is_hidden then continue
+ tabs.add_panel new DocTabPanel(child.html_tab_id, child.toc_title, child)
+ end
var lnk = html_source_link
if lnk != null then
var lnk = html_source_link
if lnk != null then
- add "<div class='source-link'>"
- add lnk
- addn "</div>"
+ tabs.drop_list.items.add new ListItem(lnk)
- super
- end
-
- redef fun render_body do
- var comment = mentity.html_comment
- if comment != null then addn comment
- super
# Link to source to display if any.
var html_source_link: nullable Writable is noinit, writable
# Link to source to display if any.
var html_source_link: nullable Writable is noinit, writable
- redef fun render_title do
- var lnk = html_source_link
- if lnk != null then
- add "<div class='source-link'>"
- add lnk
- addn "</div>"
- end
- super
- end
-
redef fun render_body do
var tabs = new DocTabs("{html_id}.tabs", "")
if not is_no_body then
redef fun render_body do
var tabs = new DocTabs("{html_id}.tabs", "")
if not is_no_body then
if child.is_hidden then continue
tabs.add_panel new DocTabPanel(child.html_tab_id, child.toc_title, child)
end
if child.is_hidden then continue
tabs.add_panel new DocTabPanel(child.html_tab_id, child.toc_title, child)
end
+ var lnk = html_source_link
+ if lnk != null then
+ tabs.drop_list.items.add new ListItem(lnk)
+ end