wp
/
xed
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

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.
This commit is contained in:
Stephen Collins 2019-12-15 16:04:09 -07:00 committed by Michael Webster
parent 5e2c6f0369
commit 808e77b052
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
xed/xed-tab-label.c
View File

@ -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);