PreviousNextTracker indexSee it online !

(15/211) 2852 - Mouse quick copy is unstable

When you start jEdit4.3pre9 (on linux) highlight and copy/paste behavior is reasonable. After a period of time (or some triggering event that I havn't managed to track down) it starts behaving very badly.

Example: If I highlight some text, hit ctrl-c, then highlight other text and hit ctrl-v, I would expect that what I copied would be properly pasted. instead, the text remains unchanged. if I then go elsewhere and hit ctrl-v, what was highlighted for the original past gets pasted.

What this appears to me to be is this: whatever clipboard is being used for mouse quick-copy starts clobbering the normal clipboard.

Thus if I copy something, and then try to paste it over a highlighted section of text, it doesn't work, because it's pasting from the mouse copy clipboard.

This behavior is highly irritating.

Thanks for the great app.

Submitted soulcatcher - 2007-05-01 00:48:30 Assigned
Priority 5 Labels GUI / mouse
Status open Group None
Resolution None

Comments

2013-10-30 00:54:04
ezust

- **labels**: 833923 --> GUI / mouse