X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=8efdc12b31ab4dd3d021c00e0835785701e37337;hb=873675c422db29ff7575758411be7af304e3a728;hp=9431002b82a0fdd7173615064042b08fd613e9be;hpb=75d5c1d6e3253ab1e83abc23b0e7a279ad4ab48b;p=pspp-builds.git

diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index 9431002b..8efdc12b 100644
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -674,7 +674,6 @@
                 <property name="label">_Reference Manual</property>
                 <property name="visible">True</property>
                 <property name="use_underline">True</property>
-                <property name="use_stock">True</property>
               </widget>
             </child>
             <child>