Re: [ jEdit-users ] Jedit Clipboard History

[Nemeskey D. <nem...@gm...>]

Hmm...

I'm not a developer, just a user, so this is just an idea, but... If the 
problem you mention really exists, I am not convinced that having a way to 
manually delete it is the right solution. Having to go to the menu after 
every third copy-paste can get old very quickly.

Maybe jEdit could save the copy-paste history to disk? That way, the garbage 
collection pause (I guess that was it) could be avoided.

Best regards,
David

On Wednesday 30 January 2008 04:55:30 FORREST EVANS wrote:
> I frequently use the clipboard to paste large amounts of text in my
> buffers.  These get stored in my clipboard history, which is good.  The
> problem is that after a while, Jedit starts pausing for long periods of
> time (seconds) after I do a copy/paste operation.  I used to resort to
> restarting Jedit to get it out of this mode.
>
> I finally figured out how to clear the clipboard using the following
> bash script in a macro.
>
> /*
>  * ClearClipboardHistory.bsh - Clears the clipboard history.
>  *
>  */
>
> ClearClipboardHistory(){
>    HistoryModel.getModel("clipboard").removeAllElements();
>    Toolkit.getDefaultToolkit().beep();
> }
>
>    ClearClipboardHistory();
>
> After I run this macro, my cut/paste operations go back to normal.  It
> would be nice if there was a button on the "paste previous" window that
> allowed you to do this.
>
> Thanks,
> Forrest
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio 2008.
> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/