Georg Baum wrote:
Am Dienstag, 2. Januar 2007 22:20 schrieb Enrico Forestieri:
On Tue, Jan 02, 2007 at 08:24:49PM +0100, Abdelrazak Younes wrote:
Georg Baum wrote:
- copy something to the clipboard
- select something different and press C-v
that currently replaces the selection with the clipboard would not
work
anymore.
Well you have a point here. Maybe we can enable mouse-pasting but not
mouse-selection-copying. What do you think Enrico (and Bo, Uwe, Peter,
Joost, etc...)?
But this is what your patch currently does! It is handy to be able
to paste by middle mouse button and a selection does not replace the
clipboard content.
If it does not do that then something is trange. From the patch:
+ docstring const get() const { return clipboard_.get(); }
+ void put(docstring const & str) { clipboard_.put(str); }
From that I understand that the clipboard should be set whenever the
selection changes, and if it does not it looks like there is a bug
somewhere else.
No, you're right and I was proposing to remove the clipboard settings:
+ void put(docstring const & str) {}
Abdel.
