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 56597 f4f561bf4b07
parent 56569 1f9d706968c2
child 56842 b6e266574b26 
--- a/src/Tools/jEdit/etc/options	Tue Apr 15 22:18:21 2014 +0200
+++ b/src/Tools/jEdit/etc/options	Tue Apr 15 22:19:07 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_dictionary : string = "en_US"
+public option spell_checker_dictionary : string = "en"
   -- "spell-checker dictionary name"
 
 public option spell_checker_elements : string = "words,comment,inner_comment,ML_comment,SML_comment"
isabelle