diff options
author | Gerd Hoffmann <kraxel@redhat.com> | 2014-05-22 08:19:48 +0200 |
---|---|---|
committer | Gerd Hoffmann <kraxel@redhat.com> | 2014-06-11 14:26:49 +0200 |
commit | fa7a1e521943f838ab1dc02fdb29473a608ca5f4 (patch) | |
tree | f3d81abf999469b6ea9fe905ba74d15db27f6805 /ui | |
parent | f50def915e316e3791f5c2fb861ee42ccab5e0d1 (diff) |
gtk: update window size after showing/hiding tabs
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Diffstat (limited to 'ui')
-rw-r--r-- | ui/gtk.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1005,12 +1005,14 @@ static void gd_menu_switch_vc(GtkMenuItem *item, void *opaque) static void gd_menu_show_tabs(GtkMenuItem *item, void *opaque) { GtkDisplayState *s = opaque; + VirtualConsole *vc = gd_vc_find_current(s); if (gtk_check_menu_item_get_active(GTK_CHECK_MENU_ITEM(s->show_tabs_item))) { gtk_notebook_set_show_tabs(GTK_NOTEBOOK(s->notebook), TRUE); } else { gtk_notebook_set_show_tabs(GTK_NOTEBOOK(s->notebook), FALSE); } + gd_update_windowsize(vc); } static gboolean gd_tab_window_close(GtkWidget *widget, GdkEvent *event, |