changeset 44569 | 5130dfe1b7be |
parent 44532 | 39fdbd814c7f |
child 45054 | 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(