--- abrt-1.0.9/src/Gui/ccgui.glade 2010-03-31 10:34:14.000000000 +0200 +++ abrt-1.0.9_hideprefs/src/Gui/ccgui.glade 2010-03-31 21:39:27.653364662 +0200 @@ -102,7 +102,7 @@ <child> <widget class="GtkImageMenuItem" id="miPreferences"> <property name="label">gtk-preferences</property> - <property name="visible">True</property> + <property name="visible">False</property> <property name="use_underline">True</property> <property name="use_stock">True</property> <property name="always_show_image">True</property>