author | wenzelm |
Thu, 31 Dec 2009 00:38:15 +0100 | |
changeset 34820 | a8ba6cde13e9 |
parent 34814 | 0b788ea1ceac |
child 37065 | 2a73253b5898 |
permissions | -rw-r--r-- |
<?xml version="1.0"?> <!DOCTYPE ACTIONS SYSTEM "actions.dtd"> <ACTIONS> <ACTION NAME="isabelle.activate"> <CODE> isabelle.jedit.Isabelle.switch_active(view); </CODE> <IS_SELECTED> return isabelle.jedit.Isabelle.is_active(view); </IS_SELECTED> </ACTION> <ACTION NAME="isabelle.show-output"> <CODE> wm.addDockableWindow("isabelle-output"); </CODE> </ACTION> <ACTION NAME="isabelle.show-protocol"> <CODE> wm.addDockableWindow("isabelle-protocol"); </CODE> </ACTION> </ACTIONS>