proper signature for dynamic BeanShell action;
authorwenzelm
Mon, 14 Apr 2014 23:26:52 +0200
changeset 56578 e73723b39c82
parent 56577 58d7960058f5
child 56579 4c94f631c595
proper signature for dynamic BeanShell action;
src/Tools/jEdit/src/isabelle.scala
--- 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)
     {