diff --git a/actions.xml b/actions.xml new file mode 100644 index 0000000000..a75b0cc602 --- /dev/null +++ b/actions.xml @@ -0,0 +1,24 @@ + + + + + + + + sel = textArea.selectedText; + if(sel == null) + view.toolkit.beep(); + else + factor.jedit.FactorPlugin.eval(view,sel); + + + + + buffer.save(view,null); + factor.jedit.FactorPlugin.eval(view, + "\"" + + MiscUtilities.charsToEscapes(buffer.path) + + "\" run-file"); + + + diff --git a/dockables.xml b/dockables.xml new file mode 100644 index 0000000000..9394249aad --- /dev/null +++ b/dockables.xml @@ -0,0 +1,12 @@ + + + + + + + + + new factor.listener.FactorListenerPanel( + factor.jedit.FactorPlugin.getInterpreter(view)); + +