NEWS;
authorwenzelm
Sat Apr 12 21:58:58 2014 +0200 (2014-04-12)
changeset 565547bef3cd6a69c
parent 56553 f56dfc30e4b6
child 56555 1afb78a93376
NEWS;
NEWS
src/Tools/jEdit/etc/options
     1.1 --- a/NEWS	Sat Apr 12 21:44:38 2014 +0200
     1.2 +++ b/NEWS	Sat Apr 12 21:58:58 2014 +0200
     1.3 @@ -94,6 +94,8 @@
     1.4    - More reliable treatment of GUI events vs. completion popups: avoid
     1.5      loosing keystrokes with slow / remote graphics displays.
     1.6  
     1.7 +* Spell-checker support for document text, comments etc.
     1.8 +
     1.9  * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
    1.10  Open text buffers take precedence over copies within the file-system.
    1.11  
     2.1 --- a/src/Tools/jEdit/etc/options	Sat Apr 12 21:44:38 2014 +0200
     2.2 +++ b/src/Tools/jEdit/etc/options	Sat Apr 12 21:58:58 2014 +0200
     2.3 @@ -52,7 +52,7 @@
     2.4  section "Spell Checker"
     2.5  
     2.6  public option spell_checker : bool = true
     2.7 -  -- "enable spell-checker for prose words within document text"
     2.8 +  -- "enable spell-checker for prose words within document text, comments etc."
     2.9  
    2.10  public option spell_checker_language : string = "en"
    2.11    -- "language for spell-checker locale and dictionary (en, de, fr)"