X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=d190a44cf8cbd1a30a7be0b28cd89e112946b622;hb=53508ccb5785dfcad8080d9dcdacdf3b7af5be76;hp=fcfc8c20d969fbc3dc88388521cae1087cb8e1af;hpb=3039501eeeb280c2bd6dae91a9471f8372c52698;p=pspp-builds.git
diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui
index fcfc8c20..d190a44c 100644
--- a/src/ui/gui/data-editor.ui
+++ b/src/ui/gui/data-editor.ui
@@ -350,7 +350,8 @@
-
-
+
+ uimanager1
utilities_variables
_Variables...
Jump to variable