diff options
author | michelou <michelou@epfl.ch> | 2006-12-02 20:45:33 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-12-02 20:45:33 +0000 |
commit | a3ffb394a417e6e85743058db6074f7fb913e436 (patch) | |
tree | 7e4b35f2df264698acb9cbdc52b067486fac6e28 | |
parent | 6c347e39718c4be48de5679a88896c311ff245f2 (diff) | |
download | scala-a3ffb394a417e6e85743058db6074f7fb913e436.tar.gz scala-a3ffb394a417e6e85743058db6074f7fb913e436.tar.bz2 scala-a3ffb394a417e6e85743058db6074f7fb913e436.zip |
fixed incorrect tag in navigation frame
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/DocGenerator.scala | 4 | ||||
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/script.js | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/DocGenerator.scala b/src/compiler/scala/tools/nsc/doc/DocGenerator.scala index 2e3313cec1..d4351839f4 100644 --- a/src/compiler/scala/tools/nsc/doc/DocGenerator.scala +++ b/src/compiler/scala/tools/nsc/doc/DocGenerator.scala @@ -829,13 +829,13 @@ abstract class DocGenerator extends Models { override def body0(hasBody: Boolean, nodes: NodeSeq): NodeSeq = if (!hasBody) nodes else <body onload="init()" style="margin:1px;">{nodes}</body>; def body = - <div> + <form> <select id="kinds" onchange="goto()"> <option value="#Classes" selected="selected">Classes</option> <option value="#Objects">Objects</option> <option value="#Traits">Traits</option> </select> - </div> + </form> } new ListClassFrame { diff --git a/src/compiler/scala/tools/nsc/doc/script.js b/src/compiler/scala/tools/nsc/doc/script.js index a71d154ef5..524ea6834d 100644 --- a/src/compiler/scala/tools/nsc/doc/script.js +++ b/src/compiler/scala/tools/nsc/doc/script.js @@ -271,18 +271,18 @@ function init() { } function goto() { - kinds = parent.frames["navigationFrame"].document.getElementById("kinds") - oldLocation = parent.frames["classesFrame"].window.location.href + kinds = parent.navigationFrame.document.getElementById("kinds") + oldLocation = parent.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; + parent.classesFrame.window.location = newLocation; } function resetKinds() { - kinds = parent.frames["navigationFrame"].document.getElementById("kinds") + kinds = parent.navigationFrame.document.getElementById("kinds") kinds.selectedIndex = 0; } --> |