src/Tools/jEdit/etc/options

--- a/src/Tools/jEdit/etc/options	Sat Apr 12 21:44:38 2014 +0200
+++ b/src/Tools/jEdit/etc/options	Sat Apr 12 21:58:58 2014 +0200
@@ -52,7 +52,7 @@
 section "Spell Checker"
 
 public option spell_checker : bool = true
-  -- "enable spell-checker for prose words within document text"
+  -- "enable spell-checker for prose words within document text, comments etc."
 
 public option spell_checker_language : string = "en"
   -- "language for spell-checker locale and dictionary (en, de, fr)"