diff src/device-gtk.c @ 746:b13b1b7b11f1

[xemacs-hg @ 2002-02-08 13:04:18 by wmperry] GTK selection fixes from Eric Gillespie, Jr. <epg@pretzelnet.org>
author wmperry
date Fri, 08 Feb 2002 13:04:21 +0000
parents 183866b06e0b
children 2923009caf47
line wrap: on
line diff
--- a/src/device-gtk.c	Wed Feb 06 16:27:06 2002 +0000
+++ b/src/device-gtk.c	Fri Feb 08 13:04:21 2002 +0000
@@ -126,6 +126,9 @@
 					guint info,
 					guint time_stamp,
 					gpointer data);
+extern void emacs_gtk_selection_clear_event_handle (GtkWidget *widget,
+                                                    GdkEventSelection *event,
+                                                    gpointer data);
 extern void emacs_gtk_selection_received (GtkWidget *widget,
 					  GtkSelectionData *selection_data,
 					  gpointer user_data);
@@ -284,9 +287,15 @@
   /* Need to set up some selection handlers */
   gtk_selection_add_target (GTK_WIDGET (app_shell), GDK_SELECTION_PRIMARY,
 			    GDK_SELECTION_TYPE_STRING, 0);
+  gtk_selection_add_target (GTK_WIDGET (app_shell),
+                            gdk_atom_intern("CLIPBOARD", FALSE),
+			    GDK_SELECTION_TYPE_STRING, 0);
   
   gtk_signal_connect (GTK_OBJECT (app_shell), "selection_get",
 		      GTK_SIGNAL_FUNC (emacs_gtk_selection_handle), NULL);
+  gtk_signal_connect (GTK_OBJECT (app_shell), "selection_clear_event",
+                      GTK_SIGNAL_FUNC (emacs_gtk_selection_clear_event_handle),
+                      NULL);
   gtk_signal_connect (GTK_OBJECT (app_shell), "selection_received",
 		      GTK_SIGNAL_FUNC (emacs_gtk_selection_received), NULL);