From 58c0fe8cc7123da709df60f3c84e2a27aaf3b42c Mon Sep 17 00:00:00 2001 From: Michael Drake Date: Fri, 24 Oct 2014 21:03:21 +0100 Subject: Don't take core/front-end choice away from user. --- gtk/gui.c | 3 --- 1 file changed, 3 deletions(-) diff --git a/gtk/gui.c b/gtk/gui.c index 5e691be6f..da993ac10 100644 --- a/gtk/gui.c +++ b/gtk/gui.c @@ -1166,9 +1166,6 @@ static nserror nsgtk_option_init(int *pargc, char** argv) /* ensure all options fall within sensible bounds */ - /* select menus generated by core code */ - nsoption_set_bool(core_select_menu, true); - /* Attempt to handle nonsense status bar widths. These may exist * in people's Choices as the GTK front end used to abuse the * status bar width option by using it for an absolute value in px. -- cgit v1.2.3