diff options
author | michelou <michelou@epfl.ch> | 2006-10-21 18:15:41 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-10-21 18:15:41 +0000 |
commit | c5af8e01c6376c0fb80f0c53704c756baa015c06 (patch) | |
tree | 666884408e1705665f8c0b072f54cb72ddef82a0 /src/compiler | |
parent | 52a66ee1f757cc4b23f3e476e9039f9769b24da6 (diff) | |
download | scala-c5af8e01c6376c0fb80f0c53704c756baa015c06.tar.gz scala-c5af8e01c6376c0fb80f0c53704c756baa015c06.tar.bz2 scala-c5af8e01c6376c0fb80f0c53704c756baa015c06.zip |
reverted 'const' to 'var' (syntax not supported...
reverted 'const' to 'var' (syntax not supported by IE)
Diffstat (limited to 'src/compiler')
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/script.js | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/script.js b/src/compiler/scala/tools/nsc/doc/script.js index 95558fa691..be19bd25bb 100644 --- a/src/compiler/scala/tools/nsc/doc/script.js +++ b/src/compiler/scala/tools/nsc/doc/script.js @@ -3,18 +3,18 @@ function setWindowTitle(title) { parent.document.title = title; } -const java_api_root = 'http://java.sun.com/j2se/1.5.0/docs/api/'; -//const java_api_root = 'http://lamp.epfl.ch/~linuxsoft/java/jdk1.5/docs/api/'; +var java_api_root = 'http://java.sun.com/j2se/1.5.0/docs/api/'; +//var java_api_root = 'http://lamp.epfl.ch/~linuxsoft/java/jdk1.5/docs/api/'; -const scala_doc_url = parent.document.URL; -const scala_api_root = scala_doc_url.substring(0, scala_doc_url.lastIndexOf("/")+1); +var scala_doc_url = parent.document.URL; +var scala_api_root = scala_doc_url.substring(0, scala_doc_url.lastIndexOf("/")+1); -const ant_api_root = 'http://lamp.epfl.ch/~linuxsoft/ant/manual/api/'; -//const ant_api_root = 'http://www.net-freaks.org/doc/ant-1.6.5/manual/api/'; +var ant_api_root = 'http://lamp.epfl.ch/~linuxsoft/ant/manual/api/'; +//var ant_api_root = 'http://www.net-freaks.org/doc/ant-1.6.5/manual/api/'; -const eclipse_api_root = 'http://help.eclipse.org/help32/topic/org.eclipse.platform.doc.isv/reference/api/'; +var eclipse_api_root = 'http://help.eclipse.org/help32/topic/org.eclipse.platform.doc.isv/reference/api/'; -const fjbg_api_root = 'http://lamp.epfl.ch/~linuxsoft/fjbg/api/'; +var fjbg_api_root = 'http://lamp.epfl.ch/~linuxsoft/fjbg/api/'; // hashtable_classes var table = new Array() |