# HG changeset patch
# User wenzelm
# Date 1397593147 -7200
# Node ID f4f561bf4b07f581d61a3b1f6f7d5891bbb82034
# Parent  40edc550667cab799f37a6e06f095732535bcc4f
tuned default: melange of all "en" dialects;

diff -r 40edc550667c -r f4f561bf4b07 src/Tools/jEdit/etc/options
--- 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"