X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=8ae12effa1dc8c55b04ce1e62ad1c82434f39c3d;hb=1c9289af33cdb6d0d3687643ddc19f4d555c0471;hp=a3b7f5daf1ee61659fcf85311d184c9ea6c75df4;hpb=0d2d1a1e7036d45c7d02a1ba211e1dd96a88a867;p=pspp-builds.git
diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui
index a3b7f5da..8ae12eff 100644
--- a/src/ui/gui/data-editor.ui
+++ b/src/ui/gui/data-editor.ui
@@ -158,7 +158,7 @@
@@ -465,7 +465,7 @@