2004-08-07 22:30:33 -04:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
|
|
|
|
|
|
<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
|
|
|
|
|
|
|
|
|
|
<ACTIONS>
|
|
|
|
|
<ACTION NAME="factor-eval-selection">
|
|
|
|
|
<CODE>
|
|
|
|
|
sel = textArea.selectedText;
|
|
|
|
|
if(sel == null)
|
|
|
|
|
view.toolkit.beep();
|
|
|
|
|
else
|
|
|
|
|
factor.jedit.FactorPlugin.eval(view,sel);
|
|
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
|
|
|
|
<ACTION NAME="factor-run-file">
|
|
|
|
|
<CODE>
|
|
|
|
|
buffer.save(view,null);
|
2004-08-09 21:59:47 -04:00
|
|
|
VFSManager.waitForRequests();
|
2004-08-07 22:30:33 -04:00
|
|
|
factor.jedit.FactorPlugin.eval(view,
|
|
|
|
|
"\""
|
|
|
|
|
+ MiscUtilities.charsToEscapes(buffer.path)
|
|
|
|
|
+ "\" run-file");
|
|
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
2004-08-08 02:32:56 -04:00
|
|
|
<ACTION NAME="factor-apropos">
|
|
|
|
|
<CODE>
|
|
|
|
|
if(textArea.selectionCount == 0)
|
|
|
|
|
textArea.selectWord();
|
|
|
|
|
factor.jedit.FactorPlugin.eval(view,
|
|
|
|
|
"\""
|
|
|
|
|
+ MiscUtilities.charsToEscapes(
|
|
|
|
|
textArea.selectedText)
|
|
|
|
|
+ "\" apropos.");
|
|
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
2004-08-07 22:30:33 -04:00
|
|
|
</ACTIONS>
|
