Bug 614658 - text selection with mouse is buggy when using the shift key
authorBehdad Esfahbod <behdad@behdad.org>
Tue, 11 May 2010 20:49:10 +0000 (16:49 -0400)
committerBehdad Esfahbod <behdad@behdad.org>
Tue, 11 May 2010 20:49:10 +0000 (16:49 -0400)
src/vte.c

index b7fbff3..5f55335 100644 (file)
--- a/src/vte.c
+++ b/src/vte.c
@@ -7113,6 +7113,10 @@ vte_terminal_button_press(GtkWidget *widget, GdkEventButton *event)
                                vte_terminal_extend_selection(terminal,
                                                              x, y,
                                                              !terminal->pvt->selecting_restart, TRUE);
+                               /* The whole selection code needs to be
+                                * rewritten.  For now, put this here to
+                                * fix bug 614658 */
+                               terminal->pvt->selecting = TRUE;
                                handled = TRUE;
                        }
                        break;