[ jEdit-devel ] Copy/paste problems with 4.3pre17

[Shlomy R. <sre...@gm...>]

Hi,

With the latest version of jEdit, I have copy/paste problems which did
not previously exist: Sometimes I select two lines with the keyboard,
then click Ctrl+C (for copy), then switch to another buffer and click
Ctrl+V (paste), and surprisingly, only the first of the two selected
lines is pasted. Going back to the previous buffer, with the two lines
still selected, and repeating the copy/paste process now works fine.

This is not 100% reproducible, but happens from time to time. I don't
know if it's related, but I use custom folding mode (Configurable Fold
Handler) and the 2nd line I copy is sometimes the first line in a fold
(which is expanded).

Does anyone else also experience that?

Shlomy