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 |
2013-10-30 00:54:04 ezust |
- **labels**: 833923 --> GUI / mouse |
---|