diff options
90 files changed, 450 insertions, 0 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 796ab6c3..daed1aaf 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -187,6 +187,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/B.html b/html-test/ref/B.html index 0932ca8a..b16babe3 100644 --- a/html-test/ref/B.html +++ b/html-test/ref/B.html @@ -175,6 +175,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html index 699c9e8c..ba7599f5 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -99,6 +99,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index dee23b63..d2b95503 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -102,6 +102,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html index 22aa0062..17e2b7d6 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -185,6 +185,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index 1288e8b2..08529a6a 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -65,6 +65,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html index a45b35b0..12e8f61f 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -104,6 +104,11 @@ because there's a space before closing @ ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html index 8e40bc67..f217782a 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -99,6 +99,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index 7830ca4e..d5bcf7a4 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -207,6 +207,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index 49c3744a..d5ba688d 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index f1df4e9b..95a93013 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -233,6 +233,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index d9c75fad..5738da0f 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -141,6 +141,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index 3f8a5865..28d56619 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -82,6 +82,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html index a1c67ae6..816a520f 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -113,6 +113,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html index d722d724..3f2ffc38 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -91,6 +91,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index f3e2f6b3..da7990aa 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -101,6 +101,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html index e5c17a3c..e09de048 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -134,6 +134,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index b143c903..4409919a 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -127,6 +127,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index b1e30fd2..a46efb6f 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -113,6 +113,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 936382a2..fdfff8f8 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 6843d637..04eabc9a 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -339,6 +339,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html index 7bac01ee..29924ddd 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -261,6 +261,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html index 357ac199..da4ce87f 100644 --- a/html-test/ref/Bug647.html +++ b/html-test/ref/Bug647.html @@ -115,6 +115,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index 352fcb2a..f7ac658c 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -194,6 +194,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 9bb0f928..989f7648 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -151,6 +151,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index 441a3c33..89d18f69 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -149,6 +149,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index c1083f1a..8ea6d3c8 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -195,6 +195,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 307fe811..49d4a723 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -215,6 +215,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index a29d8a38..6fccb350 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index 48091cb9..4f6fce89 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -475,6 +475,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index d21586c8..ccdd2495 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -473,6 +473,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html index 4b4fa559..1f6c50dc 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -125,6 +125,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index 4484ba61..afc04efd 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -169,6 +169,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html index 929cb0d6..ba7b6659 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -191,6 +191,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index dd584b0c..efb9ab82 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -109,6 +109,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index 92963b68..979777a6 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -83,6 +83,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index e6a28442..37e14e83 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -83,6 +83,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index 5f4c1dc1..04ecfa7b 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index da66d4ef..d0db0ccb 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -75,6 +75,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index ce185be4..53bb911d 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -157,6 +157,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index 9fe8013a..255abcd2 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -124,6 +124,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index f2583219..c2ffda7f 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -149,6 +149,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index 28971655..928c57cc 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -123,6 +123,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index 8a91396a..3933d8bb 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -115,6 +115,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html index f26f1b6b..4dcee372 100644 --- a/html-test/ref/DuplicateRecordFields.html +++ b/html-test/ref/DuplicateRecordFields.html @@ -161,6 +161,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index be6a720a..94784a2b 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -174,6 +174,11 @@ bar ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html index 0eeced80..4ef4d5e6 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -89,6 +89,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index 099fc845..28ab10e8 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -285,6 +285,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index 8ca26c2a..1719faad 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -215,6 +215,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index 9c22a23b..532578b0 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -412,6 +412,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index 94bd3cd5..060fbe36 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -293,6 +293,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index 0eab9268..49a2efb8 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -165,6 +165,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index f295fc2c..3a684b6d 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -87,6 +87,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html index 9a0b505e..c4290be3 100644 --- a/html-test/ref/IgnoreExports.html +++ b/html-test/ref/IgnoreExports.html @@ -101,6 +101,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index bd297998..1e6c7480 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -117,6 +117,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 13e6f6f5..54999636 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -1989,6 +1989,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index b9efb161..be9e4f4b 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -101,6 +101,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index 581985d0..cfa00316 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -329,6 +329,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index a15c680f..18a72eab 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html index b50d476b..fb2c3acd 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -65,6 +65,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index 5b275ad9..db3066b4 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -359,6 +359,11 @@ with more of the indented list content.</p ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index 5aaf89c5..abb3db02 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -85,6 +85,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html index 8c411cce..7d5d3266 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 25f6930b..c2193b3e 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -537,6 +537,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index 0384dbc9..e6086280 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -115,6 +115,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index b4c7a7b6..0d1b292b 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -87,6 +87,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index e4cde460..8f25f06c 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html index 21f46cb1..9eb62bd7 100644 --- a/html-test/ref/PR643.html +++ b/html-test/ref/PR643.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html index eb7e94f7..cef7ea9c 100644 --- a/html-test/ref/PR643_1.html +++ b/html-test/ref/PR643_1.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index de16cd8d..6b5b1109 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -394,6 +394,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index ddbef022..828d5224 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -221,6 +221,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 846be506..a34c98e6 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -91,6 +91,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html index b5e0cad0..f657ff00 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -68,6 +68,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index 3c58a60b..90ef9d72 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -325,6 +325,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index 1ef98212..34899f45 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -65,6 +65,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index 5eccdb51..89557969 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -233,6 +233,11 @@ Fix spurious superclass constraints bug.</pre ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index b5500ac4..6a5d867b 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -63,6 +63,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index ac5ba3d7..03f89dda 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -63,6 +63,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 97299778..ad81d14e 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -2289,6 +2289,11 @@ is at the beginning of the line).</pre ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index 05f91d5f..323ace5e 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -94,6 +94,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></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 d109476b..4065112e 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -91,6 +91,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index 0651993a..93f50272 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index 89a030c1..cecb5a8a 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -89,6 +89,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 27ab9562..d5de827d 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -117,6 +117,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index a90bde67..1a0b92c0 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -111,6 +111,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 40e709d0..a264d9d4 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -1829,6 +1829,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 52dc7d46..4eec3253 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -347,6 +347,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index 8674bd3e..c6634e8e 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -191,6 +191,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index b2422125..be55a799 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -81,6 +81,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index 6f8f238e..eb0eeb60 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -67,6 +67,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file |