(In reply to comment #52)
> Marc, this particular bug is Linux-specific. You should file a new one if you
> happen to have this same problem on Windows. Clipboard implementations are
> completely different among different operating systems, so Windows issues are
> totally irrelevant in this Linux bug.
(In reply to comment #52)
> Marc, this particular bug is Linux-specific. You should file a new one if you
> happen to have this same problem on Windows. Clipboard implementations are
> completely different among different operating systems, so Windows issues are
> totally irrelevant in this Linux bug.
Ok, thanks :)