src/Tools/jEdit/plugin/actions.xml

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/plugin/actions.xml	Sun Oct 19 16:51:55 2008 +0200
@@ -0,0 +1,20 @@
+<ACTIONS>
+	<ACTION NAME="Isabelle.show-output">
+		<CODE>
+			wm.addDockableWindow("Isabelle_output");
+		</CODE>
+	</ACTION>
+	<ACTION NAME="Isabelle.show-state">
+		<CODE>
+			wm.addDockableWindow("Isabelle_state");
+		</CODE>
+	</ACTION>
+	<ACTION NAME="Isabelle.activate">
+		<CODE>
+			isabelle.jedit.Plugin$.MODULE$.plugin().activate(view);
+		</CODE>
+		<IS_SELECTED>
+			return view.getBuffer().getMode().getName() == "isabelle";
+		</IS_SELECTED>
+	</ACTION>
+</ACTIONS>
\ No newline at end of file