diff options
86 files changed, 174 insertions, 493 deletions
diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css index 9d2c644f..3bfc8982 100644 --- a/haddock-api/resources/html/Ocean.std-theme/ocean.css +++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css @@ -327,10 +327,6 @@ div#style-menu-holder { } #synopsis { - display: none; -} - -.no-frame #synopsis { display: block; position: fixed; right: 0; diff --git a/haddock-api/resources/html/haddock-util.js b/haddock-api/resources/html/haddock-util.js index 92d07d2a..05bdaef5 100644 --- a/haddock-api/resources/html/haddock-util.js +++ b/haddock-api/resources/html/haddock-util.js @@ -1,7 +1,7 @@ // Haddock JavaScript utilities var rspace = /\s\s+/g, - rtrim = /^\s+|\s+$/g; + rtrim = /^\s+|\s+$/g; function spaced(s) { return (" " + s + " ").replace(rspace, " "); } function trim(s) { return s.replace(rtrim, ""); } @@ -109,136 +109,6 @@ function getCookie(name) { return null; } - - -var max_results = 75; // 50 is not enough to search for map in the base libraries -var shown_range = null; -var last_search = null; - -function quick_search() -{ - perform_search(false); -} - -function full_search() -{ - perform_search(true); -} - - -function perform_search(full) -{ - var text = document.getElementById("searchbox").value.toLowerCase(); - if (text == last_search && !full) return; - last_search = text; - - var table = document.getElementById("indexlist"); - var status = document.getElementById("searchmsg"); - var children = table.firstChild.childNodes; - - // first figure out the first node with the prefix - var first = bisect(-1); - var last = (first == -1 ? -1 : bisect(1)); - - if (first == -1) - { - table.className = ""; - status.innerHTML = "No results found, displaying all"; - } - else if (first == 0 && last == children.length - 1) - { - table.className = ""; - status.innerHTML = ""; - } - else if (last - first >= max_results && !full) - { - table.className = ""; - status.innerHTML = "More than " + max_results + ", press Search to display"; - } - else - { - // decide what you need to clear/show - if (shown_range) - setclass(shown_range[0], shown_range[1], "indexrow"); - setclass(first, last, "indexshow"); - shown_range = [first, last]; - table.className = "indexsearch"; - status.innerHTML = ""; - } - - - function setclass(first, last, status) - { - for (var i = first; i <= last; i++) - { - children[i].className = status; - } - } - - - // do a binary search, treating 0 as ... - // return either -1 (no 0's found) or location of most far match - function bisect(dir) - { - var first = 0, finish = children.length - 1; - var mid, success = false; - - while (finish - first > 3) - { - mid = Math.floor((finish + first) / 2); - - var i = checkitem(mid); - if (i == 0) i = dir; - if (i == -1) - finish = mid; - else - first = mid; - } - var a = (dir == 1 ? first : finish); - var b = (dir == 1 ? finish : first); - for (var i = b; i != a - dir; i -= dir) - { - if (checkitem(i) == 0) return i; - } - return -1; - } - - - // from an index, decide what the result is - // 0 = match, -1 is lower, 1 is higher - function checkitem(i) - { - var s = getitem(i).toLowerCase().substr(0, text.length); - if (s == text) return 0; - else return (s > text ? -1 : 1); - } - - - // from an index, get its string - // this abstracts over alternates - function getitem(i) - { - for ( ; i >= 0; i--) - { - var s = children[i].firstChild.firstChild.data; - if (s.indexOf(' ') == -1) - return s; - } - return ""; // should never be reached - } -} - -function setSynopsis(filename) { - if (parent.window.synopsis && parent.window.synopsis.location) { - if (parent.window.synopsis.location.replace) { - // In Firefox this avoids adding the change to the history. - parent.window.synopsis.location.replace(filename); - } else { - parent.window.synopsis.location = filename; - } - } -} - function addMenuItem(html) { var menu = document.getElementById("page-menu"); if (menu) { diff --git a/haddock-api/src/Haddock/Backends/Xhtml.hs b/haddock-api/src/Haddock/Backends/Xhtml.hs index 31a748cb..34ecc5b8 100644 --- a/haddock-api/src/Haddock/Backends/Xhtml.hs +++ b/haddock-api/src/Haddock/Backends/Xhtml.hs @@ -108,8 +108,8 @@ copyHtmlBits odir libdir themes = do return () -headHtml :: String -> Maybe String -> Themes -> Maybe String -> Html -headHtml docTitle miniPage themes mathjax_url = +headHtml :: String -> Themes -> Maybe String -> Html +headHtml docTitle themes mathjax_url = header << [ meta ! [httpequiv "Content-Type", content "text/html; charset=UTF-8"], thetitle << docTitle, @@ -118,14 +118,11 @@ headHtml docTitle miniPage themes mathjax_url = script ! [src mjUrl, thetype "text/javascript"] << noHtml, script ! [thetype "text/javascript"] -- NB: Within XHTML, the content of script tags needs to be - -- a <![CDATA[ section. Will break if the miniPage name could - -- have "]]>" in it! - << primHtml ( - "//<![CDATA[\nwindow.onload = function () {pageLoad();" - ++ setSynopsis ++ "};\n//]]>\n") + -- a <![CDATA[ section. + << primHtml + "//<![CDATA[\nwindow.onload = function () {pageLoad();};\n//]]>\n" ] where - setSynopsis = maybe "" (\p -> "setSynopsis(\"" ++ p ++ "\");") miniPage mjUrl = maybe "https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" id mathjax_url @@ -271,7 +268,7 @@ ppHtmlContents dflags odir doctitle _maybe_package | iface <- ifaces , instIsSig iface] html = - headHtml doctitle Nothing themes mathjax_url +++ + headHtml doctitle themes mathjax_url +++ bodyHtml doctitle Nothing maybe_source_url maybe_wiki_url Nothing maybe_index_url << [ @@ -372,7 +369,7 @@ ppHtmlIndex odir doctitle _maybe_package themes where indexPage showLetters ch items = - headHtml (doctitle ++ " (" ++ indexName ch ++ ")") Nothing themes maybe_mathjax_url +++ + headHtml (doctitle ++ " (" ++ indexName ch ++ ")") themes maybe_mathjax_url +++ bodyHtml doctitle Nothing maybe_source_url maybe_wiki_url maybe_contents_url Nothing << [ @@ -494,7 +491,7 @@ ppHtmlModule odir doctitle themes = toHtml mdl_str real_qual = makeModuleQual qual aliases mdl html = - headHtml mdl_str_annot (Just $ "mini_" ++ moduleHtmlFile mdl) themes maybe_mathjax_url +++ + headHtml mdl_str_annot themes maybe_mathjax_url +++ bodyHtml doctitle (Just iface) maybe_source_url maybe_wiki_url maybe_contents_url maybe_index_url << [ @@ -504,24 +501,10 @@ ppHtmlModule odir doctitle themes createDirectoryIfMissing True odir writeFile (joinPath [odir, moduleHtmlFile mdl]) (renderToString debug html) - ppHtmlModuleMiniSynopsis odir doctitle themes maybe_mathjax_url iface unicode real_qual debug signatureDocURL :: String signatureDocURL = "https://wiki.haskell.org/Module_signature" -ppHtmlModuleMiniSynopsis :: FilePath -> String -> Themes - -> Maybe String -> Interface -> Bool -> Qualification -> Bool -> IO () -ppHtmlModuleMiniSynopsis odir _doctitle themes maybe_mathjax_url iface unicode qual debug = do - let mdl = ifaceMod iface - html = - headHtml (moduleString mdl) Nothing themes maybe_mathjax_url +++ - miniBody << - (divModuleHeader << sectionName << moduleString mdl +++ - miniSynopsis mdl iface unicode qual) - createDirectoryIfMissing True odir - writeFile (joinPath [odir, "mini_" ++ moduleHtmlFile mdl]) (renderToString debug html) - - ifaceToHtml :: SourceURLs -> WikiURLs -> Interface -> Bool -> Qualification -> Html ifaceToHtml maybe_source_url maybe_wiki_url iface unicode qual = ppModuleContents qual exports (not . null $ ifaceRnOrphanInstances iface) +++ @@ -572,43 +555,6 @@ ifaceToHtml maybe_source_url maybe_wiki_url iface unicode qual linksInfo = (maybe_source_url, maybe_wiki_url) -miniSynopsis :: Module -> Interface -> Bool -> Qualification -> Html -miniSynopsis mdl iface unicode qual = - divInterface << concatMap (processForMiniSynopsis mdl unicode qual) exports - where - exports = numberSectionHeadings (ifaceRnExportItems iface) - - -processForMiniSynopsis :: Module -> Bool -> Qualification -> ExportItem DocName - -> [Html] -processForMiniSynopsis mdl unicode qual ExportDecl { expItemDecl = L _loc decl0 } = - ((divTopDecl <<).(declElem <<)) <$> case decl0 of - TyClD d -> let b = ppTyClBinderWithVarsMini mdl d in case d of - (FamDecl decl) -> [ppTyFamHeader True False decl unicode qual] - (DataDecl{}) -> [keyword "data" <+> b] - (SynDecl{}) -> [keyword "type" <+> b] - (ClassDecl {}) -> [keyword "class" <+> b] - SigD (TypeSig lnames _) -> - map (ppNameMini Prefix mdl . nameOccName . getName . unLoc) lnames - _ -> [] -processForMiniSynopsis _ _ qual (ExportGroup lvl _id txt) = - [groupTag lvl << docToHtml Nothing qual (mkMeta txt)] -processForMiniSynopsis _ _ _ _ = [] - - -ppNameMini :: Notation -> Module -> OccName -> Html -ppNameMini notation mdl nm = - anchor ! [ href (moduleNameUrl mdl nm) - , target mainFrameName ] - << ppBinder' notation nm - - -ppTyClBinderWithVarsMini :: Module -> TyClDecl DocName -> Html -ppTyClBinderWithVarsMini mdl decl = - let n = tcdName decl - ns = tyvarNames $ tcdTyVars decl -- it's safe to use tcdTyVars, see code above - in ppTypeApp n [] ns (\is_infix -> ppNameMini is_infix mdl . nameOccName . getName) ppTyName - ppModuleContents :: Qualification -> [ExportItem DocName] -> Bool -- ^ Orphans sections diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 64a2916b..edd95fe8 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_A.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -183,4 +183,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_A.html");}; ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/B.html b/html-test/ref/B.html index b1e43a51..f4ce89d4 100644 --- a/html-test/ref/B.html +++ b/html-test/ref/B.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_B.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -171,4 +171,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_B.html");}; ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html index d8f8b3d4..a7cb4e7f 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bold.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -95,4 +95,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bold.html"); ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index 5ea4ff26..37a37527 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug1.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -98,4 +98,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug1.html"); ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html index b7f10741..ca5c2cc0 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug195.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -181,4 +181,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug195.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index 98d7f06d..5b88feae 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug2.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -61,4 +61,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug2.html"); ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html index 19cb1aae..04cb0991 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug201.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -100,4 +100,4 @@ because there's a space before closing @ ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html index 2210b023..28482b24 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug253.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -95,4 +95,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug253.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index 9382a738..8b0644aa 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug26.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -203,4 +203,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug26.html") ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index fa8ca0de..6c533a28 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -1,4 +1,3 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" @@ -10,9 +9,9 @@ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" - >//<![CDATA[ -window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");}; -//]]> + >// +window.onload = function () {pageLoad();}; +// </script ></head ><body @@ -28,7 +27,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");}; ></li ></ul ><p class="caption empty" - > </p + ></p ></div ><div id="content" ><div id="module-header" @@ -38,8 +37,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");}; >Copyright</th ><td >Foo<br - />Bar<br - />Baz</td + />Bar<br + />Baz</td ></tr ><tr ><th @@ -55,9 +54,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");}; ><p class="caption" >Description</p ><div class="doc" - ><p - >The module description</p - ></div + ><p + >The module description</p + ></div ></div ><div id="interface" ><h1 @@ -78,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");}; ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index 44aad9d1..3a82af80 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug294.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -229,4 +229,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug294.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index a748e92a..cba626b6 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug298.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -137,4 +137,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug298.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index d5f589ed..4a9cf8bc 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug3.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -78,4 +78,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug3.html"); ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html index 03f287d5..d816fef5 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug308.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -109,4 +109,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug308.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html index d9ed0b19..60f371af 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug308CrossModule.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -87,4 +87,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug308CrossModule ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index 2ba8dfb9..468e64eb 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug310.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -97,4 +97,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug310.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html index a6573eaa..4fc1682c 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug313.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -130,4 +130,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug313.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index f9eec481..d1602c7b 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug335.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -123,4 +123,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug335.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index 6305a38d..27d47e75 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug387.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -109,4 +109,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug387.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 722d4102..fe6f47d1 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug4.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug4.html"); ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 34fc4054..678f4070 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -335,4 +335,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html"); ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index cf6f2f2a..ef26d62f 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -190,4 +190,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html"); ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index d6cef1b2..1b6c1525 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");}; +window.onload = function () {pageLoad();}; // </script ></head diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index 8bb9b850..467dda0e 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bug85.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -145,4 +145,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug85.html") ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index 2fb509d8..96fdab34 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -191,4 +191,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.htm ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 8d444e26..2a05bed9 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -211,4 +211,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index b83036c8..c29004f3 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Bugs.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bugs.html"); ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index ac14b0d4..f055f36f 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedClass.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -165,4 +165,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedClass.h ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html index 248de4cb..aeb2a7c8 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -187,4 +187,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.ht ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index 59206ac9..f4381d96 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -105,4 +105,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunctio ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index 36159359..b8985bcd 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -79,4 +79,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunctio ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index 1bfc7d90..b62e1ee3 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction3.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -79,4 +79,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunctio ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index a6b2e0e8..84c7a885 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule. ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index bd7a7f31..862f79ee 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule2.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -71,4 +71,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule2 ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index 3d826f57..a03d63fb 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -153,4 +153,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index e5a3c38c..52f2b8e9 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedReExport.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -120,4 +120,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedReExpor ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index ff217c4d..79b7b7f9 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedRecord.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -145,4 +145,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedRecord. ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index 4a5028f3..1d94e99b 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeFamily.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -119,4 +119,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeFam ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index 8f1896df..cb7a3afe 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeSynonym.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -111,4 +111,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeSyn ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index 7f742f2f..f706eef1 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Examples.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -170,4 +170,4 @@ bar ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html index 01dde2d3..e21785c0 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Extensions.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -85,4 +85,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Extensions.html&q ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index 4c285c41..df597e12 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -281,4 +281,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index 6c091ac3..3b036aae 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -211,4 +211,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html& ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index ac422955..4ad1c27e 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -408,4 +408,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html"); ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index 5071e702..8c7312d7 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstances.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -289,4 +289,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstances.h ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index b3cf9ef9..77af69d0 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstancesB.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -161,4 +161,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstancesB. ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index 66b14d7a..db1953e3 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Hyperlinks.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -83,4 +83,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hyperlinks.html&q ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html index 235d601c..262bb769 100644 --- a/html-test/ref/IgnoreExports.html +++ b/html-test/ref/IgnoreExports.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_IgnoreExports.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -97,4 +97,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_IgnoreExports.htm ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index c08a565a..d22e7f4c 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_ImplicitParams.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -113,4 +113,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_ImplicitParams.ht ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index ba6ef185..b014e8df 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Instances.html");}; +window.onload = function () {pageLoad();}; // </script ></head diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index 7e85367d..46f283e3 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Math.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -97,4 +97,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Math.html"); ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index ac28b0d9..b7507bd7 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Minimal.html");}; +window.onload = function () {pageLoad();}; // </script ></head diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index a1761bce..ca7b2b3f 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_ModuleWithWarning.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_ModuleWithWarning ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html index 631f2043..a10aa305 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_NamedDoc.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -61,4 +61,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_NamedDoc.html&quo ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index 370c6a88..7ce0c0d8 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Nesting.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -355,4 +355,4 @@ with more of the indented list content.</p ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index d8148b0e..43352864 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_NoLayout.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -81,4 +81,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_NoLayout.html&quo ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html index c389fc6a..6ed1563f 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_NonGreedy.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_NonGreedy.html&qu ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 27b3427d..d498a906 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");}; +window.onload = function () {pageLoad();}; // </script ></head diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index 0ef094d5..257e2e41 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_OrphanInstances.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -111,4 +111,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_OrphanInstances.h ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index 98641d0b..93594d90 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_OrphanInstancesClass.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -83,4 +83,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_OrphanInstancesCl ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index d616edf9..5d7a76c9 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_OrphanInstancesType.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_OrphanInstancesTy ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 2052d87c..9f0caaa2 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; +window.onload = function () {pageLoad();}; // </script ></head diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index 5bb95fdb..6d4c57be 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -217,4 +217,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 27f3a93a..4ce37acd 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Properties.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -87,4 +87,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Properties.html&q ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html index 7523c657..e714ec21 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_PruneWithWarning.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -64,4 +64,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_PruneWithWarning. ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index c51ac526..0b5b8054 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_QuasiExpr.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -321,4 +321,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_QuasiExpr.html&qu ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index 251c48dc..4919e48d 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_QuasiQuote.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -61,4 +61,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_QuasiQuote.html&q ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index 285ab05c..b7c707c5 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_SpuriousSuperclassConstraints.html");}; +window.onload = function () {pageLoad();}; // </script ></head diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index b0500019..c3b71206 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_TH.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -59,4 +59,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_TH.html");}; ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index 71bc1083..5562cb67 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_TH2.html");}; +window.onload = function () {pageLoad();}; // </script ></head diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 49fb4704..e84ed0dd 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -2285,4 +2285,4 @@ is at the beginning of the line).</pre ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index bb31f300..ac6a66b9 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Threaded.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -90,4 +90,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Threaded.html&quo ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html index 2890ca6b..89f276c9 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Threaded_TH.html");}; +window.onload = function () {pageLoad();}; // </script ></head diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index 7e1c02aa..74b65663 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Ticket112.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket112.html&qu ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index cb9ba8bd..cfc2e7f7 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Ticket61.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -85,4 +85,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket61.html&quo ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 07e75296..616f5d47 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Ticket75.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -113,4 +113,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket75.html&quo ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index 04d1476b..927631f8 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_TitledPicture.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -107,4 +107,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_TitledPicture.htm ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index db6ee1c3..c6301a56 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -1825,4 +1825,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 156486d0..65ab0317 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies2.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -343,4 +343,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies2.htm ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index 53428892..b461ac71 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -187,4 +187,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.htm ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 59f715e8..ae1d4293 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Unicode.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Unicode.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index 47568b65..d9b8cd11 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -10,7 +10,7 @@ ></script ><script type="text/javascript" >// -window.onload = function () {pageLoad();setSynopsis("mini_Visible.html");}; +window.onload = function () {pageLoad();}; // </script ></head @@ -63,4 +63,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Visible.html" ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/haddock-util.js b/html-test/ref/haddock-util.js index 92d07d2a..05bdaef5 100644 --- a/html-test/ref/haddock-util.js +++ b/html-test/ref/haddock-util.js @@ -1,7 +1,7 @@ // Haddock JavaScript utilities var rspace = /\s\s+/g, - rtrim = /^\s+|\s+$/g; + rtrim = /^\s+|\s+$/g; function spaced(s) { return (" " + s + " ").replace(rspace, " "); } function trim(s) { return s.replace(rtrim, ""); } @@ -109,136 +109,6 @@ function getCookie(name) { return null; } - - -var max_results = 75; // 50 is not enough to search for map in the base libraries -var shown_range = null; -var last_search = null; - -function quick_search() -{ - perform_search(false); -} - -function full_search() -{ - perform_search(true); -} - - -function perform_search(full) -{ - var text = document.getElementById("searchbox").value.toLowerCase(); - if (text == last_search && !full) return; - last_search = text; - - var table = document.getElementById("indexlist"); - var status = document.getElementById("searchmsg"); - var children = table.firstChild.childNodes; - - // first figure out the first node with the prefix - var first = bisect(-1); - var last = (first == -1 ? -1 : bisect(1)); - - if (first == -1) - { - table.className = ""; - status.innerHTML = "No results found, displaying all"; - } - else if (first == 0 && last == children.length - 1) - { - table.className = ""; - status.innerHTML = ""; - } - else if (last - first >= max_results && !full) - { - table.className = ""; - status.innerHTML = "More than " + max_results + ", press Search to display"; - } - else - { - // decide what you need to clear/show - if (shown_range) - setclass(shown_range[0], shown_range[1], "indexrow"); - setclass(first, last, "indexshow"); - shown_range = [first, last]; - table.className = "indexsearch"; - status.innerHTML = ""; - } - - - function setclass(first, last, status) - { - for (var i = first; i <= last; i++) - { - children[i].className = status; - } - } - - - // do a binary search, treating 0 as ... - // return either -1 (no 0's found) or location of most far match - function bisect(dir) - { - var first = 0, finish = children.length - 1; - var mid, success = false; - - while (finish - first > 3) - { - mid = Math.floor((finish + first) / 2); - - var i = checkitem(mid); - if (i == 0) i = dir; - if (i == -1) - finish = mid; - else - first = mid; - } - var a = (dir == 1 ? first : finish); - var b = (dir == 1 ? finish : first); - for (var i = b; i != a - dir; i -= dir) - { - if (checkitem(i) == 0) return i; - } - return -1; - } - - - // from an index, decide what the result is - // 0 = match, -1 is lower, 1 is higher - function checkitem(i) - { - var s = getitem(i).toLowerCase().substr(0, text.length); - if (s == text) return 0; - else return (s > text ? -1 : 1); - } - - - // from an index, get its string - // this abstracts over alternates - function getitem(i) - { - for ( ; i >= 0; i--) - { - var s = children[i].firstChild.firstChild.data; - if (s.indexOf(' ') == -1) - return s; - } - return ""; // should never be reached - } -} - -function setSynopsis(filename) { - if (parent.window.synopsis && parent.window.synopsis.location) { - if (parent.window.synopsis.location.replace) { - // In Firefox this avoids adding the change to the history. - parent.window.synopsis.location.replace(filename); - } else { - parent.window.synopsis.location = filename; - } - } -} - function addMenuItem(html) { var menu = document.getElementById("page-menu"); if (menu) { |