diff options
| author | Marco Pesenti Gritti <marco@it.gnome.org> | 2003-04-20 08:17:11 +0800 |
|---|---|---|
| committer | Marco Pesenti Gritti <mpeseng@src.gnome.org> | 2003-04-20 08:17:11 +0800 |
| commit | b3274d2018924e17db89a45a432d7da703c80130 (patch) | |
| tree | 7fb44d4eb2fc227c4cd548d53acd65a923b8bce5 /src | |
| parent | 61e00b20d9933e55a7373b397b92f52bca2d954c (diff) | |
| download | gsoc2013-epiphany-b3274d2018924e17db89a45a432d7da703c80130.tar gsoc2013-epiphany-b3274d2018924e17db89a45a432d7da703c80130.tar.gz gsoc2013-epiphany-b3274d2018924e17db89a45a432d7da703c80130.tar.bz2 gsoc2013-epiphany-b3274d2018924e17db89a45a432d7da703c80130.tar.lz gsoc2013-epiphany-b3274d2018924e17db89a45a432d7da703c80130.tar.xz gsoc2013-epiphany-b3274d2018924e17db89a45a432d7da703c80130.tar.zst gsoc2013-epiphany-b3274d2018924e17db89a45a432d7da703c80130.zip | |
Update tabs menu sensitivity when switching.
2003-04-20 Marco Pesenti Gritti <marco@it.gnome.org>
* src/window-commands.c: (window_cmd_tabs_move_left),
(window_cmd_tabs_move_right):
Update tabs menu sensitivity when switching.
Diffstat (limited to 'src')
| -rw-r--r-- | src/window-commands.c | 4 |
1 files changed, 4 insertions, 0 deletions
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 |