{ p = new Properties(); p.load(factor.jedit.FactorPlugin.class .getResourceAsStream( "/factor.keymap")); e = p.entrySet().iterator(); while(e.hasNext()) { a = e.next(); jEdit.setProperty(a.key,a.value); } } wm.addDockableWindow("console"); wm.getDockableWindow("console").setShell("Factor"); FactorPlugin.restartExternalInstance(); sel = textArea.selectedText; if(sel == null) view.toolkit.beep(); else FactorPlugin.evalInListener(view,sel); FactorPlugin.evalWordDef(view); buffer.save(view,null); VFSManager.waitForRequests(); FactorPlugin.evalInListener(view, "\"" + FactorReader.charsToEscapes(buffer.path) + "\" run-file"); word = FactorPlugin.getWordAtCaret(textArea); if(word == null) view.toolkit.beep(); else { FactorPlugin.evalInListener(view, "\"" + FactorReader.charsToEscapes(word) + "\" apropos"); } FactorPlugin.factorWordPopupOp(view,"see"); FactorPlugin.factorWordWireOp(view,"jedit"); new EditWordDialog(view,FactorPlugin .getSideKickParser()); FactorPlugin.factorWordOutputOp(view,"usages ."); word = FactorPlugin.getWordAtCaret(textArea); if(word == null) view.toolkit.beep(); else FactorPlugin.insertUseDialog(view,word); FactorPlugin.extractWord(view); FactorPlugin.factorWordPopupOp(view,"unit infer ."); FactorPlugin.factorWordOutputOp(view,"recompile"); InferBufferProcessor.createInferUnitTests(view,buffer); new CompileBufferProcessor(view,buffer);