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
|
2004-08-31 22:22:47 -04:00
|
|
|
FactorPlugin.eval(view,sel);
|
2004-08-07 22:30:33 -04:00
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
|
|
|
|
<ACTION NAME="factor-run-file">
|
|
|
|
|
<CODE>
|
|
|
|
|
buffer.save(view,null);
|
2004-08-09 21:59:47 -04:00
|
|
|
VFSManager.waitForRequests();
|
2004-08-31 22:22:47 -04:00
|
|
|
FactorPlugin.eval(view,
|
2004-08-07 22:30:33 -04:00
|
|
|
"\""
|
2004-09-02 16:40:34 -04:00
|
|
|
+ FactorReader.charsToEscapes(buffer.path)
|
2004-08-07 22:30:33 -04:00
|
|
|
+ "\" run-file");
|
|
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
2004-08-08 02:32:56 -04:00
|
|
|
<ACTION NAME="factor-apropos">
|
|
|
|
|
<CODE>
|
2004-09-02 16:40:34 -04:00
|
|
|
word = FactorPlugin.getWordAtCaret(textArea);
|
|
|
|
|
if(word == null)
|
|
|
|
|
view.toolkit.beep();
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
FactorPlugin.eval(view,
|
|
|
|
|
"\""
|
|
|
|
|
+ FactorReader.charsToEscapes(word)
|
|
|
|
|
+ "\" apropos.");
|
|
|
|
|
}
|
2004-08-08 02:32:56 -04:00
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
2004-08-16 23:52:52 -04:00
|
|
|
<ACTION NAME="factor-see">
|
|
|
|
|
<CODE>
|
2004-08-31 22:22:47 -04:00
|
|
|
FactorPlugin.factorWordOperation(view,"see");
|
2004-08-17 20:44:57 -04:00
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
|
|
|
|
<ACTION NAME="factor-edit">
|
|
|
|
|
<CODE>
|
2004-08-31 22:22:47 -04:00
|
|
|
FactorPlugin.factorWordOperation(view,"jedit");
|
2004-08-16 23:52:52 -04:00
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
2004-08-31 22:22:47 -04:00
|
|
|
<ACTION NAME="factor-edit-dialog">
|
2004-08-16 23:52:52 -04:00
|
|
|
<CODE>
|
2004-09-04 01:05:50 -04:00
|
|
|
new EditWordDialog(view,FactorPlugin
|
|
|
|
|
.getSideKickParser());
|
2004-08-17 20:44:57 -04:00
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
2004-08-31 22:22:47 -04:00
|
|
|
<ACTION NAME="factor-usages">
|
2004-08-17 20:44:57 -04:00
|
|
|
<CODE>
|
2004-08-31 22:22:47 -04:00
|
|
|
FactorPlugin.factorWordOperation(view,"usages.");
|
2004-08-16 23:52:52 -04:00
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
2004-08-31 20:31:16 -04:00
|
|
|
<ACTION NAME="factor-insert-use">
|
|
|
|
|
<CODE>
|
2004-09-02 16:40:34 -04:00
|
|
|
word = FactorPlugin.getWordAtCaret(textArea);
|
|
|
|
|
if(word == null)
|
|
|
|
|
view.toolkit.beep();
|
|
|
|
|
else
|
|
|
|
|
FactorPlugin.insertUseDialog(view,word);
|
2004-08-31 20:31:16 -04:00
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
2004-08-07 22:30:33 -04:00
|
|
|
</ACTIONS>
|