--- terminal-screen.c.old	2004-06-18 14:04:17.000000000 -0400
+++ terminal-screen.c	2004-06-18 14:04:37.000000000 -0400
@@ -1330,7 +1330,9 @@
 {
   if (screen->priv->matched_string)
     {
-      gtk_clipboard_set_text (gtk_clipboard_get (GDK_NONE), 
+      gtk_clipboard_set_text (gtk_clipboard_get (GDK_SELECTION_PRIMARY),
+                              screen->priv->matched_string, -1);
+      gtk_clipboard_set_text (gtk_clipboard_get (GDK_SELECTION_CLIPBOARD),
                               screen->priv->matched_string, -1);
       g_free (screen->priv->matched_string);
       screen->priv->matched_string = NULL;
