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)
       }
     }