X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fexamine.ui;h=f22b1047d9f67adfd1b4d040806f02724f2b38cf;hb=refs%2Fbuilds%2F20140228030505%2Fpspp;hp=222af2edc0dbb926bcdeb8b1246c097e6eca54ca;hpb=9d1bfb34842de4a129140622ee3d800297c0e69d;p=pspp

diff --git a/src/ui/gui/examine.ui b/src/ui/gui/examine.ui
index 222af2edc0..f22b1047d9 100644
--- a/src/ui/gui/examine.ui
+++ b/src/ui/gui/examine.ui
@@ -263,7 +263,7 @@
                 </child>
                 <child>
                   <object class="GtkButton" id="opts-button">
-                    <property name="label" translatable="yes">_Options...</property>
+                    <property name="label" translatable="yes">O_ptions...</property>
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="receives_default">True</property>
@@ -413,11 +413,12 @@
                     <property name="orientation">vertical</property>
                     <child>
                       <object class="GtkRadioButton" id="radiobutton1">
-                        <property name="label" translatable="yes">Exclude cases listwise</property>
+                        <property name="label" translatable="yes">Exclude cases _listwise</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">False</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                        <property name="use_underline">True</property>
                         <property name="active">True</property>
                         <property name="draw_indicator">True</property>
                       </object>
@@ -427,11 +428,12 @@
                     </child>
                     <child>
                       <object class="GtkRadioButton" id="radiobutton2">
-                        <property name="label" translatable="yes">Exclude cases pairwise</property>
+                        <property name="label" translatable="yes">Exclude cases _pairwise</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">False</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                        <property name="use_underline">True</property>
                         <property name="active">True</property>
                         <property name="draw_indicator">True</property>
                         <property name="group">radiobutton1</property>
@@ -442,11 +444,12 @@
                     </child>
                     <child>
                       <object class="GtkRadioButton" id="radiobutton3">
-                        <property name="label" translatable="yes">Report values</property>
+                        <property name="label" translatable="yes">_Report values</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">False</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                        <property name="use_underline">True</property>
                         <property name="active">True</property>
                         <property name="draw_indicator">True</property>
                         <property name="group">radiobutton1</property>