SourceInfo sourceInfo = sourceInfo(sourceName); gui.showSourceText(sourceInfo);
gui.showFileWindow(sourceName, -1);
    void openScript(TreePath path) {        if (path == null)            return;        Object node = path.getLastPathComponent();        if (node == null)            return;        String sourceName = (String) scriptNames.get(node);        if (sourceName == null)            return;        SourceInfo sourceInfo = sourceInfo(sourceName);        gui.showSourceText(sourceInfo);        // display functions for opened script file        /*Vector functions = new Vector();        Iterator it = functionNames.entrySet().iterator();        while (it.hasNext()) {            Map.Entry entry = (Map.Entry) it.next();            ScriptItem si = (ScriptItem) entry.getValue();            if (scriptName.equals(si.getSourceInfo().getUrl())) {                functions.add(entry.getKey());            }        }        Collections.sort(functions);        list.setListData(functions); */    }