X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=785a87b22a8764a40f787c1baeab85e7c5b5a2ab;hb=6ede2c036dd0520562bbeb31e02dfdc938403921;hp=048ba0bbb15669c0988a3e0bb776deaf76eea040;hpb=ff50bab74c735b9e48b851080edcd1d466a83371;p=pspp
diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui
index 048ba0bbb1..785a87b22a 100644
--- a/src/ui/gui/data-editor.ui
+++ b/src/ui/gui/data-editor.ui
@@ -218,7 +218,7 @@
@@ -264,14 +264,14 @@