--- a/NEWS Sat Apr 12 21:44:38 2014 +0200
+++ b/NEWS Sat Apr 12 21:58:58 2014 +0200
@@ -94,6 +94,8 @@
- More reliable treatment of GUI events vs. completion popups: avoid
loosing keystrokes with slow / remote graphics displays.
+* Spell-checker support for document text, comments etc.
+
* Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
Open text buffers take precedence over copies within the file-system.
--- 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)"