# HG changeset patch
# User wenzelm
# Date 1414141519 -7200
# Node ID aeba9ae93dd81fa16169e27dd911e1bce013dc0b
# Parent  d6435f0bf9661e97adacd689d68382c5c2d332e3
more generous default;

diff -r d6435f0bf966 -r aeba9ae93dd8 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Thu Oct 23 16:25:08 2014 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Oct 24 11:05:19 2014 +0200
@@ -8,6 +8,7 @@
 buffer.noTabs=true
 buffer.sidekick.keystroke-parse=false
 buffer.tabSize=2
+buffer.undoCount=1000
 close-docking-area.shortcut2=C+e C+CIRCUMFLEX
 complete-word.shortcut=
 console.dock-position=floating