2004-08-07 22:30:33 -04:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
|
|
|
|
|
|
<!-- For jEdit plugin -->
|
|
|
|
|
|
|
|
|
|
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
|
|
|
|
|
|
|
|
|
|
<DOCKABLES>
|
|
|
|
|
<DOCKABLE NAME="factor">
|
|
|
|
|
new factor.listener.FactorListenerPanel(
|
2004-08-08 02:32:56 -04:00
|
|
|
factor.jedit.FactorPlugin.getInterpreter());
|
2004-08-07 22:30:33 -04:00
|
|
|
</DOCKABLE>
|
|
|
|
|
</DOCKABLES>
|
