Tracker: Feature Requests
Large search&replace-all operations easily kill jEdit because of OutOfMemory errors. Give the user the option to disable the undo/redo log for search&replace all operations. A prototype implementation is attached in patch https://sourceforge.net/tracker/?func=detail&aid=3529803&group_id=588&atid=300588
A example file to test this is attached: search for ',' and replace all with ', ' (note the extra space).
The OOM error happens in the AWT thread and is not catched by the normal jEdit exception handling, so the user never get the response of the OutOfMemory error. The java process just continues to burn cpu and never finishes.
Nobody/Anonymous
None
None
Public
Comments ( 6 )
|
Date: 2012-05-31 12:49:09 PDT Hello, |
|
Date: 2012-05-29 22:36:50 PDT It seems as no mail get's send out, when you just attach a patch to a |
|
Date: 2012-05-29 11:42:02 PDT I really like your idea and I'll implement something over this week. |
|
Date: 2012-05-27 14:21:29 PDT This checkbox, useful in some situations, may still be controversial. I |
|
Date: 2012-05-26 04:22:03 PDT The option to disable the undo/redo log for the search&replace-all |
|
Date: 2012-05-26 04:12:55 PDT Thomas, could you desribe where you suggest to put the new option? So that |
Attached Files ( 3 )
| Filename | Description | Download |
|---|---|---|
| jEdit-disableundo-ask-user.patch | First prototype with some glitches | Download |
| jedit-slow-search-replace.txt.zip | example file to demonstrate the behaviour | Download |
| jEdit-disable-undo-preview.png | Download |