# HG changeset patch
# User wenzelm
# Date 1229892220 -3600
# Node ID 5a8b9fc98d8c2cdff8de4b63463afe28297421f6
# Parent  17ff07446603fd76cd9019bdb63e0d9b5a824a68
renamed Plugin.plugin to Plugin.self;

diff -r 17ff07446603 -r 5a8b9fc98d8c src/Tools/jEdit/plugin/actions.xml
--- a/src/Tools/jEdit/plugin/actions.xml	Sun Dec 21 20:36:41 2008 +0100
+++ b/src/Tools/jEdit/plugin/actions.xml	Sun Dec 21 21:43:40 2008 +0100
@@ -16,10 +16,10 @@
 	</ACTION>
 	<ACTION NAME="isabelle.activate">
 		<CODE>
-			isabelle.jedit.Plugin$.MODULE$.plugin().install(view);
+			isabelle.jedit.Plugin$.MODULE$.self().install(view);
 		</CODE>
 		<IS_SELECTED>
-			return isabelle.jedit.Plugin$.MODULE$.plugin().is_active(view.getBuffer());
+			return isabelle.jedit.Plugin$.MODULE$.self().is_active(view.getBuffer());
 		</IS_SELECTED>
 	</ACTION>
 </ACTIONS>
\ No newline at end of file
diff -r 17ff07446603 -r 5a8b9fc98d8c src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala
--- a/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala	Sun Dec 21 20:36:41 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala	Sun Dec 21 21:43:40 2008 +0100
@@ -27,7 +27,7 @@
     
     val data = new SideKickParsedData(buffer.getName)
     
-    Plugin.plugin.prover_setup(buffer) match {
+    Plugin.self.prover_setup(buffer) match {
       case None =>
         data.root.add(new DefaultMutableTreeNode("<buffer inactive>"))
       case Some(prover_setup) =>
diff -r 17ff07446603 -r 5a8b9fc98d8c src/Tools/jEdit/src/jedit/OptionPane.scala
--- a/src/Tools/jEdit/src/jedit/OptionPane.scala	Sun Dec 21 20:36:41 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/OptionPane.scala	Sun Dec 21 21:43:40 2008 +0100
@@ -79,7 +79,7 @@
       property("font-size", size.toString)
       SwingUtilities invokeLater new Runnable() {
         override def run() = 
-          Plugin.plugin.setFont(name, size.asInstanceOf[Integer].intValue)
+          Plugin.self.set_font(name, size.asInstanceOf[Integer].intValue)
       }
     }