src/Tools/jEdit/src/actions.xml

--- a/src/Tools/jEdit/src/actions.xml	Sat Dec 08 22:14:39 2012 +0100
+++ b/src/Tools/jEdit/src/actions.xml	Sat Dec 08 22:19:24 2012 +0100
@@ -37,6 +37,11 @@
 			wm.addDockableWindow("isabelle-protocol");
 		</CODE>
 	</ACTION>
+	<ACTION NAME="isabelle.monitor-panel">
+		<CODE>
+			wm.addDockableWindow("isabelle-monitor");
+		</CODE>
+	</ACTION>
 	<ACTION NAME="isabelle.symbols-panel">
 		<CODE>
 			wm.addDockableWindow("isabelle-symbols");