more generous default;
authorwenzelm
Fri Oct 24 11:05:19 2014 +0200 (2014-10-24 ago)
changeset 58779aeba9ae93dd8
parent 58774 d6435f0bf966
child 58780 1f8c0da85664
more generous default;
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Thu Oct 23 16:25:08 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Fri Oct 24 11:05:19 2014 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4  buffer.noTabs=true
     1.5  buffer.sidekick.keystroke-parse=false
     1.6  buffer.tabSize=2
     1.7 +buffer.undoCount=1000
     1.8  close-docking-area.shortcut2=C+e C+CIRCUMFLEX
     1.9  complete-word.shortcut=
    1.10  console.dock-position=floating