src/Tools/jEdit/src/isabelle_sidekick.scala
changeset 43661 39fdbd814c7f
parent 43282 5d294220ca43
child 43695 5130dfe1b7be
     1.1 --- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Mon Jul 04 20:18:19 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Mon Jul 04 22:11:32 2011 +0200
     1.3 @@ -96,7 +96,7 @@
     1.4              case Some((word, cs)) =>
     1.5                val ds =
     1.6                  (if (Isabelle_Encoding.is_active(buffer))
     1.7 -                  cs.map(Isabelle.system.symbols.decode(_)).sortWith(_ < _)
     1.8 +                  cs.map(Isabelle_System.symbols.decode(_)).sortWith(_ < _)
     1.9                   else cs).filter(_ != word)
    1.10                if (ds.isEmpty) null
    1.11                else new SideKickCompletion(