X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fvariable-info.ui;h=74523b339ca5043bdb2985e133c59336a75ef4cd;hb=3e98eec9f2c774a7c695944c15de651ecd120430;hp=b8f66fe802b6689fc1496e736b7ec893e3f7db75;hpb=df2f1ae30c2835a39f4bc6b0c14f10a2090d9401;p=pspp
diff --git a/src/ui/gui/variable-info.ui b/src/ui/gui/variable-info.ui
index b8f66fe802..74523b339c 100644
--- a/src/ui/gui/variable-info.ui
+++ b/src/ui/gui/variable-info.ui
@@ -42,38 +42,19 @@
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
vertical
5
-
-
-
- False
- False
- 5
- 0
-
-