diff --git a/lib/doc/browse/index.html b/lib/doc/browse/index.html index 6e6cb7fba..7eb2df84a 100644 --- a/lib/doc/browse/index.html +++ b/lib/doc/browse/index.html @@ -43,8 +43,8 @@ Module: ... scope code - API +
@@ -55,10 +55,12 @@
-
+ +

-      
+ +
Search the API by constructor name or type signature:
@@ -67,8 +69,8 @@
+
-

About

@@ -107,13 +109,15 @@

Something is missing or out of date

All the scoping information shown is not read directly from the RGL on-demand. There is an in-between processing stage which must be run, so if something seems out of date just let me know and I can udpate things manually.

-
- + + +

GF Resource Grammar Library Source Browser

+ API Help Synopsis...
@@ -121,12 +125,12 @@ -
+
-
+ \ No newline at end of file diff --git a/lib/doc/browse/script.js b/lib/doc/browse/script.js index 17e9251ca..8f0f394f8 100644 --- a/lib/doc/browse/script.js +++ b/lib/doc/browse/script.js @@ -102,7 +102,7 @@ function Thing() { try { var obj = $("#code pre li.L"+(lineNo%10)+":eq("+Math.floor(lineNo/10)+")").prev(); var y = Math.max(obj.offset().top - obj.parent().offset().top - 75, 0); - $("#code pre").animate({ scrollTop: y }, "slow", function(){ + $("#code").parent().animate({ scrollTop: y }, "slow", function(){ t.highlight(obj); }); } catch (e) {} @@ -421,9 +421,9 @@ function Thing() { this.prevSearch = $("#scope #search").val(); $("#scope #search").keyup(function(){ var s = $("#scope #search").val(); - if (s!=prevSearch) { + if (s!=t.prevSearch) { t.runFilter(); - prevSearch = s; + t.prevSearch = s; } }); @@ -482,9 +482,9 @@ function Thing() { this.prevAPISearch = $("#api #search").val(); $("#api #search").keyup(function(){ var s = $("#api #search").val(); - if (s!=prevAPISearch) { + if (s!=t.prevAPISearch) { t.runFilterAPI(); - prevAPISearch = s; + t.prevAPISearch = s; } }); diff --git a/lib/doc/browse/style.css b/lib/doc/browse/style.css index eec79806a..db5bce836 100644 --- a/lib/doc/browse/style.css +++ b/lib/doc/browse/style.css @@ -154,7 +154,6 @@ input#search { #code pre { margin:0; color:#000; - overflow:auto; font: 12px monospace; } #code ol.linenums {