X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=8a12a31ad31df284e232998a6a79037d86c30353;hb=bead8a34ee050e1f885cf7bf8fe03e7db87e78d7;hp=187d9c18ecfcda2acc5eb2d5256d5d57b98b61d1;hpb=f82952d22e200e1b35cea23545857a2cf2f02c66;p=pspp
diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index 187d9c18ec..8a12a31ad3 100644
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -71,6 +71,19 @@
+
+
+
+
+
+
-
@@ -107,7 +120,7 @@
-
@@ -230,17 +243,11 @@
-
-
-
@@ -526,7 +519,7 @@
+
+
+
@@ -772,7 +772,6 @@
True
- False
Find
gtk-find