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

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>