changeset 48021 | d899be1cfe6d |
parent 48014 | 63021e59cbf0 |
child 49398 | 0fa4389c04f9 |
--- a/src/Tools/jEdit/src/actions.xml Tue May 29 21:48:05 2012 +0200 +++ b/src/Tools/jEdit/src/actions.xml Tue May 29 22:24:31 2012 +0200 @@ -7,6 +7,11 @@ wm.addDockableWindow("isabelle-session"); </CODE> </ACTION> + <ACTION NAME="isabelle.syslog-panel"> + <CODE> + wm.addDockableWindow("isabelle-syslog"); + </CODE> + </ACTION> <ACTION NAME="isabelle.readme-panel"> <CODE> wm.addDockableWindow("isabelle-readme");