Re: [Texmacs-dev] Copy and paste

[Joris van der Hoeven]

On Wed, Oct 07, 2009 at 06:39:06PM +0100, Norbert Nemec wrote:
> However, there is another detail in your patch that seems unrelated and 
> incorrect to me:
> 
> -----------
> 
> +++ b/src/src/Plugins/X11/x_gui.cpp
> @@ -217,7 +217,7 @@ x_gui_rep::get_selection (string key, tree& t, 
> string& s) {
>    if (selection_t->contains (key)) {
>      t= copy (selection_t [key]);
>     s= copy (selection_s [key]);
> -    res=true;
> +    return true;
>    }
> -----------

Yes, I wondered about this one. The problem is that textual cut&paste's
are duplicated in some cases (i.e. pasting "Hi" yields "HiHi").
So res=true is definitely incorrect, unless something else is changed.
Please investigate what would be really clean.

Thanks, --Joris