changeset 49398 | 0fa4389c04f9 |
parent 48021 | d899be1cfe6d |
child 49494 | cbcccf2a0f6f |
--- a/src/Tools/jEdit/src/actions.xml Sun Sep 16 13:12:55 2012 +0200 +++ b/src/Tools/jEdit/src/actions.xml Sun Sep 16 20:16:28 2012 +0200 @@ -22,6 +22,11 @@ wm.addDockableWindow("isabelle-output"); </CODE> </ACTION> + <ACTION NAME="isabelle.output2-panel"> + <CODE> + wm.addDockableWindow("isabelle-output2"); + </CODE> + </ACTION> <ACTION NAME="isabelle.raw-output-panel"> <CODE> wm.addDockableWindow("isabelle-raw-output");