diff options
author | Christian Dywan <christian@twotoasts.de> | 2012-07-15 00:13:44 +0200 |
---|---|---|
committer | Christian Dywan <christian@twotoasts.de> | 2012-07-15 00:13:44 +0200 |
commit | deb0ef6f1a290f022ee69dc778048a228f8107b1 (patch) | |
tree | 3f9b677870386b15a0e7ccb86ff95e1b7694870f /extensions/tab-panel.c | |
parent | fdf7a9520937b1f5fb99d23dba050ee8f215034f (diff) | |
download | midori-deb0ef6f1a290f022ee69dc778048a228f8107b1.tar.gz |
Move tab removal out of the signal
Every caller should use the API to remove a tab to
produce consistent behavior.
The destroy callback takes care of UI updates.
Diffstat (limited to 'extensions/tab-panel.c')
-rw-r--r-- | extensions/tab-panel.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extensions/tab-panel.c b/extensions/tab-panel.c index a99a3a2d..24600dfc 100644 --- a/extensions/tab-panel.c +++ b/extensions/tab-panel.c @@ -231,12 +231,12 @@ midori_extension_button_release_event_cb (GtkWidget* widget, if (gtk_tree_view_get_path_at_pos (GTK_TREE_VIEW (widget), event->x, event->y, NULL, &column, NULL, NULL) && column == gtk_tree_view_get_column (GTK_TREE_VIEW (widget), 1)) - gtk_widget_destroy (view); + midori_browser_remove_tab (browser, view); else midori_browser_set_current_tab (browser, view); } else if (event->button == 2) - gtk_widget_destroy (view); + midori_browser_remove_tab (midori_browser_get_for_widget (widget), view); else tab_panel_popup (widget, event, view); |