X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=68712e1553299ec527563eebd8662580d7c8f976;hb=e4a4f41ed1c534c4f742ce95feeee515563b97dc;hp=5437ff55715457034f7b915e3505a015d182ec40;hpb=8a4ffde673c1bdfc687ff2a504036313f3595157;p=pspp
diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui
index 5437ff5571..68712e1553 100644
--- a/src/ui/gui/data-editor.ui
+++ b/src/ui/gui/data-editor.ui
@@ -462,14 +462,14 @@