jEdit (#219) - Successful:
Changes for Build #219
[k_satoda] Moved reference to UndoManager in each Edit instance to parameters of
undo()/redo() method to lower memory consumption.
[k_satoda] More restricted visibility of inner classes of UndoManager to make it
easy to understand the impact of further restructuring will be reasonably
[k_satoda] Dropped the artificial limitation to 1024 chars on expanding the gap
in ContentManager. Now it always use the complete remaining buffer which
is expanded in a geometric progression. This change greatly speeds up
big search&replace-all operations in which case copying in moveGapEnd()
exhibited quadratic operation. Now it is amortized linear.
(Patch #3533838 by Thomas Meyer, tweaked by me)
[k_satoda] Avoided unreasonable memory consumption by duplicate String instances
that could be allocated for each occurrence in a big search&replace-all.
(Patch #3528619 by Thomas Meyer)
[k_satoda] Removed unnecessary local variables. This is a minor code cleanup part
from patch #3528619 by Thomas Meyer.
[ezust] MiscUtilities.openInDesktop() no longer throws IOException.
Artifacts can be downloaded here: