aboutsummaryrefslogtreecommitdiffstats
path: root/gtk/gui_prefs.c
diff options
context:
space:
mode:
authorGilbert Ramirez <gram@alumni.rice.edu>2000-08-24 03:16:47 +0000
committerGilbert Ramirez <gram@alumni.rice.edu>2000-08-24 03:16:47 +0000
commit8e2feab49a43b7f851195bbfe73d4b6cab338e60 (patch)
tree74a6b84eb7a9ea5c1958aaa209ad565bf97d924c /gtk/gui_prefs.c
parent5ad0b0f28cc5550b35f8c05a588bb6db43582c6f (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.c6
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);