<ACTIONS>
<ACTION NAME="isabelle.show-output">
<CODE>
wm.addDockableWindow("isabelle-output");
</CODE>
</ACTION>
<ACTION NAME="isabelle.show-state">
<CODE>
wm.addDockableWindow("isabelle-state");
</CODE>
</ACTION>
<ACTION NAME="isabelle.show-scroller">
<CODE>
wm.addDockableWindow("isabelle-scroller");
</CODE>
</ACTION>
<ACTION NAME="isabelle.activate">
<CODE>
isabelle.jedit.Isabelle.plugin().switch_active(view);
</CODE>
<IS_SELECTED>
return isabelle.jedit.Isabelle.plugin().is_active(view.getBuffer());
</IS_SELECTED>
</ACTION>
</ACTIONS>