Re: [ jEdit-users ] Jedit Clipboard History

[Kazutoshi S. <k_s...@f2...>]

FORREST EVANS wrote:
>    HistoryModel.getModel("clipboard").removeAllElements();

I found that every copy-paste operation causes full comparisons
between the new string and the whole history, to remove same string
from the history. This clearly needs time depending on the size of
history.

But I couldn't reproduce such long pausing even if I did some large
(100~200KB) copies.

How large text are you dealing with?

And, please check the following setting; [Global Options] >
[Appearance] > [History text field entries to remember].
This number is used as the number of clipboard history. My setting
is 20. Are you setting a large number for this?
-- 
k_satoda