more line spacing, notably for ttfautohint (see 4791988fcbc4);
authorwenzelm
Wed Feb 27 22:08:07 2019 +0100 (7 weeks ago ago)
changeset 70028a12d2eb58aca
parent 70027 e02e3763e7a4
child 70029 bf2cd27714fb
more line spacing, notably for ttfautohint (see 4791988fcbc4);
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Wed Feb 27 21:30:16 2019 +0100
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Wed Feb 27 22:08:07 2019 +0100
     1.3 @@ -263,7 +263,7 @@
     1.4  options.shortcuts.duplicatekeymap.label=Duplicate
     1.5  options.shortcuts.resetkeymap.dialog.title=Reset keymap
     1.6  options.shortcuts.resetkeymap.label=Reset
     1.7 -options.textarea.lineSpacing=0
     1.8 +options.textarea.lineSpacing=1
     1.9  plugin-blacklist.MacOSX.jar=true
    1.10  plugin.MacOSXPlugin.altDispatcher=false
    1.11  plugin.MacOSXPlugin.disableOption=true