Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/etc/options
changeset 56569 1f9d706968c2
parent 56568 6e4f2d4215b0
child 56597 f4f561bf4b07 
--- a/src/Tools/jEdit/etc/options	Mon Apr 14 09:24:47 2014 +0200
+++ b/src/Tools/jEdit/etc/options	Mon Apr 14 09:28:42 2014 +0200
@@ -54,7 +54,7 @@
 public option spell_checker : bool = true
   -- "enable spell-checker for prose words within document text, comments etc."
 
-public option spell_checker_language : string = "en_US"
+public option spell_checker_dictionary : string = "en_US"
   -- "spell-checker dictionary name"
 
 public option spell_checker_elements : string = "words,comment,inner_comment,ML_comment,SML_comment"
isabelle