From b3274d2018924e17db89a45a432d7da703c80130 Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Sun, 20 Apr 2003 00:17:11 +0000 Subject: Update tabs menu sensitivity when switching. 2003-04-20 Marco Pesenti Gritti * src/window-commands.c: (window_cmd_tabs_move_left), (window_cmd_tabs_move_right): Update tabs menu sensitivity when switching. --- src/window-commands.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src') diff --git a/src/window-commands.c b/src/window-commands.c index 49a9e2625..79fcb1a79 100644 --- a/src/window-commands.c +++ b/src/window-commands.c @@ -770,6 +770,8 @@ window_cmd_tabs_move_left (EggAction *action, child = gtk_notebook_get_nth_page (GTK_NOTEBOOK (notebook), page); gtk_notebook_reorder_child (GTK_NOTEBOOK (notebook), child, page - 1); } + + ephy_window_update_control (window, TabsControl); } void window_cmd_tabs_move_right (EggAction *action, @@ -790,6 +792,8 @@ void window_cmd_tabs_move_right (EggAction *action, child = gtk_notebook_get_nth_page (GTK_NOTEBOOK (notebook), page); gtk_notebook_reorder_child (GTK_NOTEBOOK (notebook), child, page + 1); } + + ephy_window_update_control (window, TabsControl); } void -- cgit v1.2.3