diff options
| author | Mark Lentczner <markl@glyphic.com> | 2010-07-17 06:17:53 +0000 |
|---|---|---|
| committer | Mark Lentczner <markl@glyphic.com> | 2010-07-17 06:17:53 +0000 |
| commit | 73b3db92d61711375ee11ccb39e2575929141563 (patch) | |
| tree | 945a76b9608fc940601f6ed388d45d6148327448 /html/haddock-util.js | |
| parent | d3ed4e26d0b2969ad7f99d35c8abd0590744a607 (diff) | |
factored out head element generation
Diffstat (limited to 'html/haddock-util.js')
| -rw-r--r-- | html/haddock-util.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/html/haddock-util.js b/html/haddock-util.js index 326a64b9..372fd0e8 100644 --- a/html/haddock-util.js +++ b/html/haddock-util.js @@ -136,7 +136,6 @@ function setSynopsis(filename) { if (parent.window.synopsis) { parent.window.synopsis.location = filename; } - resetStyle(); // ugly: we are using setSynopsis as a hook! } |