From 808e77b052322b8f657ff257ff137241ebd5d019 Mon Sep 17 00:00:00 2001 From: Stephen Collins Date: Sun, 15 Dec 2019 16:04:09 -0700 Subject: [PATCH] xed-tab-label.c: remove unused event box preventing scroll events It doesn't seem to do anything except intercept scroll events, which are used to switch tabs. --- xed/xed-tab-label.c | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/xed/xed-tab-label.c b/xed/xed-tab-label.c index 3991858..1e3b00d 100644 --- a/xed/xed-tab-label.c +++ b/xed/xed-tab-label.c @@ -251,7 +251,6 @@ xed_tab_label_class_init (XedTabLabelClass *klass) static void xed_tab_label_init (XedTabLabel *tab_label) { - GtkWidget *ebox; GtkWidget *hbox; GtkWidget *close_button; GtkWidget *spinner; @@ -264,13 +263,9 @@ xed_tab_label_init (XedTabLabel *tab_label) tab_label->priv->close_button_sensitive = TRUE; gtk_orientable_set_orientation (GTK_ORIENTABLE (tab_label), GTK_ORIENTATION_HORIZONTAL); - ebox = gtk_event_box_new (); - gtk_event_box_set_visible_window (GTK_EVENT_BOX (ebox), FALSE); - gtk_box_pack_start (GTK_BOX (tab_label), ebox, TRUE, TRUE, 0); - tab_label->priv->ebox = ebox; hbox = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 4); - gtk_container_add (GTK_CONTAINER (ebox), hbox); + gtk_box_pack_start (GTK_BOX (tab_label), hbox, TRUE, TRUE, 0); close_button = xed_close_button_new (); gtk_widget_set_tooltip_text (close_button, _("Close document")); @@ -303,7 +298,6 @@ xed_tab_label_init (XedTabLabel *tab_label) dummy_label = gtk_label_new (""); gtk_box_pack_start (GTK_BOX (hbox), dummy_label, TRUE, TRUE, 0); - gtk_widget_show (ebox); gtk_widget_show (hbox); gtk_widget_show (close_button); gtk_widget_show (icon);