On Wed, Jan 03, 2007 at 10:24:47AM +0100, Abdelrazak Younes wrote:
> 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) {}
But when I select something the clipboard does not change... so, that
method seems not to be triggered.
--
Enrico
