https://issues.apache.org/bugzilla/show_bug.cgi?id=42248
--- Comment #12 from Andrey Pohilko <[email protected]> 2012-01-28 07:50:43 UTC --- Philippe, If it cause problems, Ctrl+Z can be replaced with any other shortcut, or even left without shortcut. To lower memory usage you can limit history size, it is trivial task, I suppose. -- Configure bugmail: https://issues.apache.org/bugzilla/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug.
