changeset 49494 | cbcccf2a0f6f |
parent 49398 | 0fa4389c04f9 |
child 49566 | 66cbf8bb4693 |
--- a/src/Tools/jEdit/src/actions.xml Fri Sep 21 16:50:44 2012 +0200 +++ b/src/Tools/jEdit/src/actions.xml Fri Sep 21 17:28:53 2012 +0200 @@ -22,9 +22,9 @@ wm.addDockableWindow("isabelle-output"); </CODE> </ACTION> - <ACTION NAME="isabelle.output2-panel"> + <ACTION NAME="isabelle.output1-panel"> <CODE> - wm.addDockableWindow("isabelle-output2"); + wm.addDockableWindow("isabelle-output1"); </CODE> </ACTION> <ACTION NAME="isabelle.raw-output-panel">