diff options
author | Gilbert Ramirez <gram@alumni.rice.edu> | 2000-08-24 03:16:47 +0000 |
---|---|---|
committer | Gilbert Ramirez <gram@alumni.rice.edu> | 2000-08-24 03:16:47 +0000 |
commit | 8e2feab49a43b7f851195bbfe73d4b6cab338e60 (patch) | |
tree | 74a6b84eb7a9ea5c1958aaa209ad565bf97d924c /gtk/gui_prefs.c | |
parent | 5ad0b0f28cc5550b35f8c05a588bb6db43582c6f (diff) |
Fix the appearance of the option menus in the GUI preference box.
It appears to be a buglet in GTK+; by explicitly calling gtk_widget_show()
on the menu item, it comes out with proper spacing. Previously I simply
used gtk_widget_show_all() on the topmost vbox, and while the option menu
menu-items showed, they came out with incorrect vertical spacing.
svn path=/trunk/; revision=2356
Diffstat (limited to 'gtk/gui_prefs.c')
-rw-r--r-- | gtk/gui_prefs.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gtk/gui_prefs.c b/gtk/gui_prefs.c index ca880e63f4..3342571314 100644 --- a/gtk/gui_prefs.c +++ b/gtk/gui_prefs.c @@ -1,7 +1,7 @@ /* gui_prefs.c * Dialog box for GUI preferences * - * $Id: gui_prefs.c,v 1.15 2000/08/23 18:52:38 deniel Exp $ + * $Id: gui_prefs.c,v 1.16 2000/08/24 03:16:47 gram Exp $ * * Ethereal - Network traffic analyzer * By Gerald Combs <gerald@zing.org> @@ -185,6 +185,7 @@ create_option_menu(GtkWidget *main_vb, const gchar *key, gtk_table_attach_defaults(GTK_TABLE(main_tb), label, 0, 1, table_position, table_position + 1); + /* Create a menu from the enumvals */ menu = gtk_menu_new(); menu_index = -1; for (enum_valp = enumvals, index = 0; @@ -193,9 +194,10 @@ create_option_menu(GtkWidget *main_vb, const gchar *key, gtk_menu_append(GTK_MENU(menu), menu_item); if (enum_valp->value == current_val) menu_index = index; + gtk_widget_show(menu_item); } - /* Create the option menu from the option */ + /* Create the option menu from the menu */ option_menu = gtk_option_menu_new(); gtk_option_menu_set_menu(GTK_OPTION_MENU(option_menu), menu); |