| changeset 49611 | 8e3c10eb6375 |
| parent 49570 | 2265456f6131 |
| child 50143 | 4ff5d795ed08 |
--- a/src/Tools/jEdit/src/actions.xml Thu Sep 27 15:04:26 2012 +0200 +++ b/src/Tools/jEdit/src/actions.xml Thu Sep 27 15:09:32 2012 +0200 @@ -22,11 +22,6 @@ wm.addDockableWindow("isabelle-output"); </CODE> </ACTION> - <ACTION NAME="isabelle.output1-panel"> - <CODE> - wm.addDockableWindow("isabelle-output1"); - </CODE> - </ACTION> <ACTION NAME="isabelle.graphview-panel"> <CODE> wm.addDockableWindow("isabelle-graphview");