clarified default;
authorwenzelm
Sun Oct 26 15:57:10 2014 +0100 (2014-10-26 ago)
changeset 58785e7d2b46520e0
parent 58784 11d726ce599e
child 58786 fa5b67fb70ad
clarified default;
NEWS
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/NEWS	Sun Oct 26 15:46:02 2014 +0100
     1.2 +++ b/NEWS	Sun Oct 26 15:57:10 2014 +0100
     1.3 @@ -31,6 +31,9 @@
     1.4  interpreted semi-formally based on .bib files that happen to be opened
     1.5  in the editor (hyperlinks, completion etc.).
     1.6  
     1.7 +* Less waste of vertical space via negative line spacing (see Global
     1.8 +Options / Text Area).
     1.9 +
    1.10  
    1.11  *** Pure ***
    1.12  
     2.1 --- a/src/Tools/jEdit/src/jEdit.props	Sun Oct 26 15:46:02 2014 +0100
     2.2 +++ b/src/Tools/jEdit/src/jEdit.props	Sun Oct 26 15:57:10 2014 +0100
     2.3 @@ -238,6 +238,7 @@
     2.4  match-bracket.shortcut2=C+9
     2.5  navigator.showOnToolbar=true
     2.6  next-bracket.shortcut2=C+e C+9
     2.7 +options.textarea.lineSpacing=-2
     2.8  plugin-blacklist.MacOSX.jar=true
     2.9  plugin.MacOSXPlugin.altDispatcher=false
    2.10  plugin.MacOSXPlugin.disableOption=true