diff options
Diffstat (limited to 'html/haddock-util.js')
| -rw-r--r-- | html/haddock-util.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/haddock-util.js b/html/haddock-util.js index 92974417..cd18aa81 100644 --- a/html/haddock-util.js +++ b/html/haddock-util.js @@ -282,7 +282,7 @@ function resetStyle() { function styleMenu(show) { var m = document.getElementById('style-menu'); - if (m) toggleClassShow(m, show); + if (m) toggleShow(m, show); } |