[ jEdit-users ] Copying and Pasting

[<ro...@el...>]

I'm running Jedit 4.1final on linux (mandrake 9.0) and it work
beautifully, but one thing I have trouble with is copying and pasting. 
I seems to work inconsistently.  Sometimes I can copy with ctrl+c and i
can paste just fine.  sometimes ctrl+c and then ctrl+v don't work at all
- i just get a system beep when trying to paste.  i'm trying to figure
out a pattern of when it works and when it doesn't but I haven't yet.

I've been using the 3rd button paste method, and that always seems to
work, but in alot of cases I'm needing ctrl+c and it's failing.

Jedit 3 (same OS) didn't seem to have this problem.  I went to jedit 4.1
pre-release a while back and started having it, and thought that going
to 4.1 final would solve it, but it didn't.

Is there a setting I'm overlooking, or has this been solved somehow?

Thanks!

Rory