--- 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>