Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 file | annotate | diff | comparison | revisions 
--- 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)
     {
isabelle