X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=f34d24a919c0982c44433ecd96a49645c1237b28;hb=7579fa32442ac9b623043f8cd995d9b6aa550e51;hp=419a9c604ee0f450f8c7072422d28aaa964f97a3;hpb=5023955f3e48b1b0a703a38d654467360c0794a6;p=pspp-builds.git
diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index 419a9c60..f34d24a9 100644
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -207,7 +207,7 @@
True
-
+
True
gtk-find
1
@@ -308,17 +308,16 @@
-