[RFC Patch] gnome-terminal use gtk_clipboard_wait_is_text_available when 'Edit' menu selected

[Colin Walters]

On Mon, 2008-03-17 at 12:04 -0500, Xavier Toth wrote:
> This patch replaces the use of gtk_clipboard_request_text with
> gtk_clipboard_wait_is_text_available when
> the 'Edit' menu is selected. gtk_clipboard_wait_is_text_available will
> be a little faster as it doesn't retreive
> the text and selection  or clipbord managers will only receive one
> selection-request-event for the data when
> the 'Paste' occurs if it ever does. Without this change
> selection-request-event listeners like selection or
> clipboard managers receive two selection-request-event one when the
> 'Edit' menu is selected and the other
> when 'Paste' is selected and there is no way to differentiate them.

Hi,

Thanks for the patch!  The best place for this is:
http://bugzilla.gnome.org/enter_bug.cgi?product=gnome-terminal