X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=c7ba83e59d064ff30243a3792648a9a00f98b94b;hb=5ba7bebedfeec851d65bdb115d9dfbcd870abfad;hp=c34f4d541ce594b216effec0f1826c21c39594de;hpb=338a3ecb26f25819c1cb1667a39ab40065f72fdb;p=pspp-builds.git
diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index c34f4d54..c7ba83e5 100644
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -1950,298 +1950,4 @@
-
- Go To Case
- False
- True
- GDK_WINDOW_TYPE_HINT_DIALOG
- True
- True
- False
-
-
- True
-
-
- True
- 3
-
-
- True
- Case Number:
-
-
- False
- False
-
-
-
-
- 50
- True
- True
-
-
- 1
-
-
-
-
- 1
-
-
-
-
- True
- GTK_BUTTONBOX_END
-
-
- True
- True
- True
- gtk-ok
- True
- 5
-
-
-
-
- False
- GTK_PACK_END
-
-
-
-
-
-
- True
- 10
- Sort Cases
- True
- GDK_WINDOW_TYPE_HINT_DIALOG
- True
- True
-
-
- True
- 9
-
-
- True
- True
- 10
- GTK_POLICY_NEVER
- GTK_POLICY_AUTOMATIC
- GTK_SHADOW_IN
-
-
- True
- True
- False
- True
- True
-
-
-
-
-
-
- True
- 0.25
- 0.46000000834465027
- 0.079999998211860657
-
-
- True
- True
-
-
- True
-
-
-
-
-
-
- 1
-
-
-
-
- True
- 4
-
-
- True
-
-
- True
- 0
- Sort by:
-
-
- False
- False
-
-
-
-
- True
- True
- GTK_POLICY_NEVER
- GTK_POLICY_AUTOMATIC
- GTK_SHADOW_IN
-
-
- True
- True
- False
- True
-
-
-
-
- 1
-
-
-
-
- GTK_PACK_END
- 1
-
-
-
-
- 75
- True
- 0
-
-
- 66
- True
- 12
- 5
- True
-
-
- True
- True
- Ascending
- True
- True
-
-
- False
- False
-
-
-
-
- True
- True
- Descending
- True
- True
- sort-cases-button-ascending
-
-
- False
- False
- 1
-
-
-
-
-
-
- True
- Sort Order
- True
-
-
- label_item
-
-
-
-
- False
- GTK_PACK_END
-
-
-
-
- 2
-
-
-
-
- True
-
-
- True
- True
- True
- gtk-ok
- True
-
-
-
-
- True
- False
- True
- True
- gtk-paste
- True
-
-
- 1
-
-
-
-
- True
- True
- True
- gtk-refresh
- True
-
-
- 2
-
-
-
-
- True
- True
- True
- gtk-cancel
- True
-
-
- 3
-
-
-
-
- True
- True
- True
- gtk-help
- True
-
-
- 4
-
-
-
-
- False
- 6
- 3
-
-
-
-
-