diff options
| author | Mark Lentczner <markl@glyphic.com> | 2010-08-13 21:43:41 +0000 |
|---|---|---|
| committer | Mark Lentczner <markl@glyphic.com> | 2010-08-13 21:43:41 +0000 |
| commit | e56b9cce24ac4895705576e282223f8811ed8eab (patch) | |
| tree | 82b1337aeded36bef84984a5a3d494274da2352b /src/Haddock/Backends | |
| parent | b67e3a4102fd607f7d9133f74467b76deb0a652a (diff) | |
add Frames button and clean up frames.html
Diffstat (limited to 'src/Haddock/Backends')
| -rw-r--r-- | src/Haddock/Backends/Xhtml.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Haddock/Backends/Xhtml.hs b/src/Haddock/Backends/Xhtml.hs index 4bd355ae..8618d16f 100644 --- a/src/Haddock/Backends/Xhtml.hs +++ b/src/Haddock/Backends/Xhtml.hs @@ -172,7 +172,9 @@ bodyHtml doctitle iface themes wikiButton maybe_wiki_url (ifaceMod `fmap` iface), contentsButton maybe_contents_url, indexButton maybe_index_url, - styleMenu themes]) ! [theclass "links"], + styleMenu themes, + Just (anchor ! [ href "#", onclick "reframe();"] << "Frames")]) + ! [theclass "links"], nonEmpty sectionName << doctitle ], divContent << pageContent, |