diff options
| author | simonmar <unknown> | 2004-07-01 11:08:58 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2004-07-01 11:08:58 +0000 |
| commit | b94d4903a9b902ea6fbf41f1067a1798e765fed1 (patch) | |
| tree | 2ec15a9d73ba96bfc0e21b197bc5f51cd14d7117 | |
| parent | 599743499a4bb632f3d8b1dbb6b274f7529bc77a (diff) | |
[haddock @ 2004-07-01 11:08:57 by simonmar]
Update to the +/- buttons: use a resized image rather than a <button>.
Still seeing some strange effects in Konqueror, so might need to use a
fixed-size image instead.
| -rw-r--r-- | html/haddock.css | 3 | ||||
| -rw-r--r-- | html/haddock.js | 4 | ||||
| -rw-r--r-- | html/minus.jpg | bin | 0 -> 1271 bytes | |||
| -rw-r--r-- | html/plus.jpg | bin | 0 -> 1512 bytes | |||
| -rw-r--r-- | src/HaddockHtml.hs | 7 |
5 files changed, 8 insertions, 6 deletions
diff --git a/html/haddock.css b/html/haddock.css index b853bf76..1807a26e 100644 --- a/html/haddock.css +++ b/html/haddock.css @@ -35,7 +35,8 @@ TD.s15 { height: 15px; } SPAN.keyword { text-decoration: underline; } -BUTTON.coll { width : 2em; } +/* Resize the buttom image to match the text size */ +IMG.coll { width : 1em; height: 1em; } /* --------- Documentation elements ---------- */ diff --git a/html/haddock.js b/html/haddock.js index 4f6a2e44..8dbd0a03 100644 --- a/html/haddock.js +++ b/html/haddock.js @@ -2,10 +2,10 @@ function toggle(button,id) { var n = document.getElementById(id).style; if (n.display == "none") { - button.childNodes[0].data = "-"; + button.src = "minus.jpg"; n.display = "inline"; } else { - button.childNodes[0].data = "+"; + button.src = "plus.jpg"; n.display = "none"; } } diff --git a/html/minus.jpg b/html/minus.jpg Binary files differnew file mode 100644 index 00000000..d3fb7e32 --- /dev/null +++ b/html/minus.jpg diff --git a/html/plus.jpg b/html/plus.jpg Binary files differnew file mode 100644 index 00000000..c6b6350f --- /dev/null +++ b/html/plus.jpg diff --git a/src/HaddockHtml.hs b/src/HaddockHtml.hs index 81235fec..a52e831b 100644 --- a/src/HaddockHtml.hs +++ b/src/HaddockHtml.hs @@ -43,6 +43,8 @@ cssFile, jsFile, iconFile :: String cssFile = "haddock.css" jsFile = "haddock.js" iconFile = "haskell_icon.gif" +plusFile = "plus.jpg" +minusFile = "minus.jpg" -- ----------------------------------------------------------------------------- -- Generating HTML documentation @@ -95,7 +97,7 @@ copyHtmlBits odir libdir maybe_css = do css_contents <- readFile css_file writeFile css_destination css_contents - mapM_ copyFile [ iconFile, jsFile ] + mapM_ copyFile [ iconFile, plusFile, minusFile, jsFile ] contentsHtmlFile, indexHtmlFile :: String @@ -1119,8 +1121,7 @@ escapeStr = flip escapeString unreserved -- collapsebutton :: String -> Html collapsebutton id = - button ! [ theclass "coll", onclick ("toggle(this,'" ++ id ++ "')") ] << - toHtml "+" + image ! [ src plusFile, theclass "coll", onclick ("toggle(this,'" ++ id ++ "')") ] collapsed :: String -> Html -> Html collapsed id html = |
