--- a/src/Tools/jEdit/src/isabelle.scala Mon Apr 14 23:24:05 2014 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala Mon Apr 14 23:26:52 2014 +0200
@@ -307,7 +307,7 @@
}
}
- def reset_dictionary(view: View)
+ def reset_dictionary()
{
for (spell_checker <- PIDE.spell_checker.get)
{