sel = textArea.selectedText; if(sel == null) view.toolkit.beep(); else factor.jedit.FactorPlugin.eval(view,sel); buffer.save(view,null); VFSManager.waitForRequests(); factor.jedit.FactorPlugin.eval(view, "\"" + MiscUtilities.charsToEscapes(buffer.path) + "\" run-file"); if(textArea.selectionCount == 0) textArea.selectWord(); factor.jedit.FactorPlugin.eval(view, "\"" + MiscUtilities.charsToEscapes( textArea.selectedText) + "\" apropos.");