Re: [ jEdit-devel ] [ jedit-Feature Requests-3529923 ] Option to disable Undo for search&replace-all operations

[Jarek C. <jar...@po...>]

W dniu 2012-05-31 21:49, SourceForge.net pisze:
>> Comment By: Thomas Meyer (thomasmey)
> Date: 2012-05-31 12:49
>
> Message:
> Hello,
>
> here some numbers and results based on attached prototype patch:
>
> 10.000 lines (2.260.000 changes "," ->  ", ")
> 21:10:30 [AWT-EventQueue-0] [debug] AWT-EventQueue-0: Call= 1
> DiffTime=13.148.368.127 DiffUsedMem= 6.111.360   - Drop Undo
Besides Kazutoshi's remarks I have one. Absolute readings are almost 
useless themselves. We also need something to compare to, so percentage 
diffs would also be desired. If 13 s means 100 instead of 113, then the 
gain is not very significant.

Jarek