factor/actions.xml

65 lines
1.4 KiB
XML
Raw Normal View History

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
"\""
+ factor.FactorReader.charsToEscapes(buffer.path)
2004-08-07 22:30:33 -04:00
+ "\" run-file");
</CODE>
</ACTION>
<ACTION NAME="factor-apropos">
<CODE>
if(textArea.selectionCount == 0)
textArea.selectWord();
2004-08-31 22:22:47 -04:00
FactorPlugin.eval(view,
"\""
+ factor.FactorReader.charsToEscapes(
textArea.selectedText)
+ "\" apropos.");
</CODE>
</ACTION>
<ACTION NAME="factor-see">
<CODE>
2004-08-31 22:22:47 -04:00
FactorPlugin.factorWordOperation(view,"see");
</CODE>
</ACTION>
<ACTION NAME="factor-edit">
<CODE>
2004-08-31 22:22:47 -04:00
FactorPlugin.factorWordOperation(view,"jedit");
</CODE>
</ACTION>
2004-08-31 22:22:47 -04:00
<ACTION NAME="factor-edit-dialog">
<CODE>
2004-08-31 22:22:47 -04:00
new EditWordDialog(view,FactorPlugin.getInterpreter());
</CODE>
</ACTION>
2004-08-31 22:22:47 -04:00
<ACTION NAME="factor-usages">
<CODE>
2004-08-31 22:22:47 -04:00
FactorPlugin.factorWordOperation(view,"usages.");
</CODE>
</ACTION>
<ACTION NAME="factor-insert-use">
<CODE>
if(textArea.selectionCount == 0)
textArea.selectWord();
2004-08-31 22:22:47 -04:00
FactorPlugin.insertUseDialog(view,
textArea.selectedText);
</CODE>
</ACTION>
2004-08-07 22:30:33 -04:00
</ACTIONS>