diff options
author | Mark Lentczner <markl@glyphic.com> | 2010-08-13 22:17:48 +0000 |
---|---|---|
committer | Mark Lentczner <markl@glyphic.com> | 2010-08-13 22:17:48 +0000 |
commit | d7f6809cabbface09dc1b016591774b729413f00 (patch) | |
tree | b1ccf4d2cd5245f09736c13226c338906bc0900d /src/Haddock/Backends | |
parent | e56b9cce24ac4895705576e282223f8811ed8eab (diff) |
move frames button to js
Diffstat (limited to 'src/Haddock/Backends')
-rw-r--r-- | src/Haddock/Backends/Xhtml.hs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/Haddock/Backends/Xhtml.hs b/src/Haddock/Backends/Xhtml.hs index 8618d16f..b1942561 100644 --- a/src/Haddock/Backends/Xhtml.hs +++ b/src/Haddock/Backends/Xhtml.hs @@ -115,7 +115,7 @@ headHtml docTitle miniPage themes = -- a <![CDATA[ section. Will break if the miniPage name could -- have "]]>" in it! << primHtml ( - "//<![CDATA[\nwindow.onload = function () {resetStyle();" + "//<![CDATA[\nwindow.onload = function () {addFramesButton();resetStyle();" ++ setSynopsis ++ "};\n//]]>\n") ] where @@ -172,9 +172,8 @@ bodyHtml doctitle iface themes wikiButton maybe_wiki_url (ifaceMod `fmap` iface), contentsButton maybe_contents_url, indexButton maybe_index_url, - styleMenu themes, - Just (anchor ! [ href "#", onclick "reframe();"] << "Frames")]) - ! [theclass "links"], + styleMenu themes]) + ! [theclass "links", identifier "page-menu"], nonEmpty sectionName << doctitle ], divContent << pageContent, |