--- a/src/Tools/jEdit/etc/options Sun Apr 13 22:08:00 2014 +0200
+++ b/src/Tools/jEdit/etc/options Mon Apr 14 09:24:47 2014 +0200
@@ -55,7 +55,7 @@
-- "enable spell-checker for prose words within document text, comments etc."
public option spell_checker_language : string = "en_US"
- -- "language for spell-checker locale and dictionary"
+ -- "spell-checker dictionary name"
public option spell_checker_elements : string = "words,comment,inner_comment,ML_comment,SML_comment"
-- "relevant markup elements for spell-checker, separated by commas"