void openFunction(String function) {
void openFunction(FunctionItem function) {
    void openFunction(String function) {        if (function == null)            return;        /* ScriptItem item = (ScriptItem) functionNames.get(function);        if (item != null) {            SourceInfo si = item.getSourceInfo();            String url = si.getUrl();            int lineNumber = item.getFirstLine();            FileWindow w = getFileWindow(url);            if (w == null) {                CreateFileWindow.action(this, si, lineNumber).run();                w = getFileWindow(url);                w.setPosition(-1);            }            int start = w.getPosition(lineNumber - 1);            int end = w.getPosition(lineNumber) - 1;            w.textArea.select(start);            w.textArea.setCaretPosition(start);            w.textArea.moveCaretPosition(end);            try {                if (w.isIcon())                    w.setMaximum(true);                w.show();                requestFocus();                w.requestFocus();                w.textArea.requestFocus();            } catch (Exception exc) {            }        } */    }