X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=2a5289477977ff180b2453e82389dfab1464f66c;hb=4c5964204338f984c093f7905ce491ad8923e910;hp=3408036357cd4087bb5e1024e934c25be618bb97;hpb=b0fd056eedc6872d45541c1ee0eb43e909bbc8b1;p=pspp
diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui
index 3408036357..2a52894779 100644
--- a/src/ui/gui/data-editor.ui
+++ b/src/ui/gui/data-editor.ui
@@ -49,9 +49,9 @@