src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala

--- a/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala	Tue Sep 15 20:46:46 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala	Tue Sep 15 21:14:09 2009 +0200
@@ -92,7 +92,7 @@
       case None => null
       case Some((word, cs)) =>
         val ds =
-          if (IsabelleEncoding.is_active(buffer))
+          if (Isabelle_Encoding.is_active(buffer))
             cs.map(Isabelle.system.symbols.decode(_)).sort(Completion.length_ord _)
           else cs
         new SideKickCompletion(pane.getView, word, ds.toArray.asInstanceOf[Array[Object]]) { }