X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=c7faa8a93698b94122468d388dc9e23c09f2061a;hb=3ca11d9dd35fd7a6f343e008724a7b245dc2e6e5;hp=5feccaa24e7effc0a68191530ce949dfd9308188;hpb=f0d3b9e75a250c98c48c982aa0b5377868b5bfad;p=pspp
diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui
index 5feccaa24e..c7faa8a936 100644
--- a/src/ui/gui/data-editor.ui
+++ b/src/ui/gui/data-editor.ui
@@ -445,6 +445,12 @@
_Binomial...
+
+
+