diff options
Diffstat (limited to 'src/compiler/scala/tools/nsc/doc/script.js')
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/script.js | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/script.js b/src/compiler/scala/tools/nsc/doc/script.js index 58cf9689de..a71d154ef5 100644 --- a/src/compiler/scala/tools/nsc/doc/script.js +++ b/src/compiler/scala/tools/nsc/doc/script.js @@ -269,4 +269,20 @@ function init() { } } } + +function goto() { + kinds = parent.frames["navigationFrame"].document.getElementById("kinds") + oldLocation = parent.frames["classesFrame"].window.location.href + //alert("oldLocation="+oldLocation); + pos = oldLocation.lastIndexOf("#") + classesURL = (pos > 0) ? oldLocation.substring(0, pos) : oldLocation; + newLocation = classesURL + kinds.options[kinds.selectedIndex].value; + //alert("newLocation="+newLocation); + parent.frames["classesFrame"].window.location = newLocation; +} + +function resetKinds() { + kinds = parent.frames["navigationFrame"].document.getElementById("kinds") + kinds.selectedIndex = 0; +} --> |