diff -rupN textflow/TextFlow/glade/main_window.glade textflow.new/TextFlow/glade/main_window.glade
--- textflow/TextFlow/glade/main_window.glade	2009-05-17 15:27:43.919418499 +0200
+++ textflow.new/TextFlow/glade/main_window.glade	2009-05-17 10:03:07.516418575 +0200
@@ -266,7 +266,7 @@
                       <widget class="GtkImageMenuItem" id="imagemenuitem_preferences">
                         <property name="visible">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                        <property name="label" translatable="yes">gtk-preferences</property>
+                        <property name="label" translatable="no">gtk-preferences</property>
                         <property name="use_underline">True</property>
                         <property name="use_stock">True</property>
                         <signal name="activate" handler="on_imagemenuitem_preferences_activate"/>
diff -rupN textflow/TextFlow/glade/preferences.glade textflow.new/TextFlow/glade/preferences.glade
--- textflow/TextFlow/glade/preferences.glade	2009-05-17 15:27:43.891418620 +0200
+++ textflow.new/TextFlow/glade/preferences.glade	2009-05-17 10:02:09.251418164 +0200
@@ -488,7 +488,7 @@
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                        <property name="label" translatable="yes">gtk-add</property>
+                        <property name="label" translatable="no">gtk-add</property>
                         <property name="use_stock">True</property>
                         <property name="response_id">0</property>
                         <signal name="clicked" handler="on_button_colors_add_clicked"/>
@@ -500,7 +500,7 @@
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                        <property name="label" translatable="yes">gtk-remove</property>
+                        <property name="label" translatable="no">gtk-remove</property>
                         <property name="use_stock">True</property>
                         <property name="response_id">0</property>
                         <signal name="clicked" handler="on_button_colors_remove_clicked"/>
@@ -844,7 +844,7 @@ CR LF</property>
                 <property name="can_focus">True</property>
                 <property name="receives_default">True</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                <property name="label" translatable="yes">gtk-close</property>
+                <property name="label" translatable="no">gtk-close</property>
                 <property name="use_stock">True</property>
                 <property name="response_id">0</property>
               </widget>