X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fexamine.ui;h=754d6e836e3524fc9768e091ec18d2cce5d1c64b;hb=638a86001fe7a237bd6c19a181d796305290d72a;hp=316f10439b6c2891e729a4a91b5184a1a8c1ce84;hpb=3bbb4370239deb29ebbf813d258aef6249e2a431;p=pspp

diff --git a/src/ui/gui/examine.ui b/src/ui/gui/examine.ui
index 316f10439b..754d6e836e 100644
--- a/src/ui/gui/examine.ui
+++ b/src/ui/gui/examine.ui
@@ -5,7 +5,7 @@
   <!-- interface-naming-policy project-wide -->
   <object class="PsppireDialog" id="examine-dialog">
     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-    <property name="title">Explore</property>
+    <property name="title" translatable="yes">Explore</property>
     <property name="modal">True</property>
     <child internal-child="hbox">
       <object class="GtkHBox" id="dialog-hbox1">
@@ -299,7 +299,7 @@
   </object>
   <object class="PsppireDialog" id="statistics-dialog">
     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-    <property name="title">Explore: Statistics</property>
+    <property name="title" translatable="yes">Explore: Statistics</property>
     <property name="modal">True</property>
     <property name="orientation">Vertical</property>
     <child internal-child="hbox">
@@ -378,7 +378,7 @@
   </object>
   <object class="PsppireDialog" id="options-dialog">
     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-    <property name="title">Explore: Options</property>
+    <property name="title" translatable="yes">Explore: Options</property>
     <property name="modal">True</property>
     <child internal-child="hbox">
       <object class="GtkHBox" id="dialog-hbox3">