[ jEdit-commits ] [jEdit-daily] jEdit (#219) - Successful!

[<el...@gm...>]

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
limited.

[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:
http://www.tellurianring.com/projects/jedit-daily/index.php?dir=jEdit