--- a/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala Mon Jan 19 21:38:50 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala Mon Jan 19 21:58:38 2009 +0100
@@ -75,11 +75,11 @@
val list = new java.util.LinkedList[String]
val descriptions = new java.util.LinkedList[String]
// compute suggestions
- val (suggs,text) = suggestions(1)
+ val (suggs, text) = suggestions(1)
for(s <- suggs) {
val decoded = Isabelle.symbols.decode(s)
list.add(decoded)
- if(!decoded.equals(s)) descriptions.add(s) else descriptions.add(null)
+ if(decoded != s) descriptions.add(s) else descriptions.add(null)
}
return new IsabelleSideKickCompletion(pane.getView, text, list, descriptions)
} else return null