Removed tool support from the scala core module.

1 files changed, 0 insertions, 80 deletions

diff --git a/support/jedit/console/commando/scalarun.xml b/support/jedit/console/commando/scalarun.xml
deleted file mode 100644
index 98b7a29d48..0000000000
--- a/support/jedit/console/commando/scalarun.xml
+++ /dev/null
@@ -1,80 +0,0 @@
-<?xml version="1.0"?>
-<!DOCTYPE COMMANDO SYSTEM "commando.dtd">
-<!-- Author(s): Manpreet Singh \junkblocker/ \at/ \yahoo/ \dot/ \com/ -->
-<!--            Stephane Micheloud (http://scala.epfl.ch/)            -->
-<COMMANDO>
-    <UI>
-        <CAPTION LABEL="Scala Settings">
-            <!-- See http://www.rgagnon.com/javadetails/java-0150.html -->
-            <DIR_ENTRY LABEL="Scala Home Path" VARNAME="home" EVAL='
-            envProps = new Properties();
-            osname = System.getProperty("os.name", "unknown").toLowerCase();
-            if (osname.indexOf("windows 9") != -1) {
-                cmd = "command.com /c set";
-                isWin32 = true;
-            }
-            else if ( (osname.indexOf("nt") != -1) ||
-                      (osname.indexOf("windows 20") != -1) ||
-                      (osname.indexOf("windows xp") != -1) ) {
-                cmd = "cmd.exe /c set";
-                isWin32 = true;
-            }
-            else {
-                cmd = "env";
-                isWin32 = false;
-            }
-            p = Runtime.getRuntime().exec(cmd);
-            is = new InputStreamReader(p.getInputStream());
-            rd = new BufferedReader(is);
-            line = null;
-            while ((line = rd.readLine()) != null) {
-                index = -1;
-                if ((index = line.indexOf("=")) > -1) {
-                    key = line.substring(0, index).trim();
-                    value = line.substring(index + 1).trim();
-                    envProps.setProperty(key, value);
-                }
-                else
-                    envProps.setProperty(line, "");
-            }
-            is.close();
-
-            value = envProps.getProperty("SCALA_HOME");
-            if (value == null) {
-                value = (isWin32) ? "c:\\\\Progra~1\\Scala" : "/usr/local/scala";
-            }
-            value
-            '/>
-        </CAPTION>
-        <CAPTION LABEL="Source File(s)">
-            <FILE_ENTRY LABEL="File Name" VARNAME="file" EVAL="buffer.getPath()"/>
-            <!--
-            <DIR_ENTRY LABEL="Running Directory" VARNAME="dir" EVAL="buffer.getDirectory()"/>
-            -->
-            <!-- the following awaits creation of a dynamic CHOICE element -->
-            <ENTRY LABEL="Main class" VARNAME="main" EVAL='
-            import java.util.regex.Pattern;
-            p = Pattern.compile(".*object\\s+([A-Za-z_][A-Za-z0-9_]*).*?def\\s+main\\s*\\(.*", Pattern.MULTILINE | Pattern.DOTALL).matcher(buffer.getText(0, buffer.getLength()));
-            packageName = console.ConsolePlugin.getPackageName(buffer);
-            p.matches() ? ((packageName == null) ? "" : packageName + ".") + p.group(1) : console.ConsolePlugin.getClassName(buffer)
-            '/>
-        </CAPTION>
-
-        <CAPTION LABEL="Application Settings">
-            <ENTRY LABEL="Application Parameters" VARNAME="arguments"/>
-        </CAPTION>
-    </UI>
-    <COMMANDS>
-        <COMMAND SHELL="System" CONFIRM="FALSE">
-            buf = new StringBuffer();
-            if (home.length() > 0) buf.append(home + File.separator + "bin" + File.separator);
-            buf.append("scalarun");
-            buf.append(" " + file);
-            buf.append(" -- " + main);
-            if (arguments.length() > 0) buf.append(" ").append(arguments);
-            buf.toString()
-        </COMMAND>
-    </COMMANDS>
-</COMMANDO>
-
-<!-- $Id$ -->