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