--- a/NEWS Sun Oct 26 15:46:02 2014 +0100
+++ b/NEWS Sun Oct 26 15:57:10 2014 +0100
@@ -31,6 +31,9 @@
interpreted semi-formally based on .bib files that happen to be opened
in the editor (hyperlinks, completion etc.).
+* Less waste of vertical space via negative line spacing (see Global
+Options / Text Area).
+
*** Pure ***
--- a/src/Tools/jEdit/src/jEdit.props Sun Oct 26 15:46:02 2014 +0100
+++ b/src/Tools/jEdit/src/jEdit.props Sun Oct 26 15:57:10 2014 +0100
@@ -238,6 +238,7 @@
match-bracket.shortcut2=C+9
navigator.showOnToolbar=true
next-bracket.shortcut2=C+e C+9
+options.textarea.lineSpacing=-2
plugin-blacklist.MacOSX.jar=true
plugin.MacOSXPlugin.altDispatcher=false
plugin.MacOSXPlugin.disableOption=true