src/Tools/jEdit/src/isabelle_sidekick.scala
changeset 43695 5130dfe1b7be
parent 43661 39fdbd814c7f
child 44181 bbce0417236d
     1.1 --- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Wed Jul 06 23:11:59 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu Jul 07 13:48:30 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(Symbol.decode(_)).sortWith(_ < _)
     1.9                   else cs).filter(_ != word)
    1.10                if (ds.isEmpty) null
    1.11                else new SideKickCompletion(