X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fweight.ui;h=6f2faa7eba8288db91207989ac8f09cfc630da7c;hb=8180c5dd1591446174c0753ee960921786113403;hp=2fb04f555d359a34d088140705b1580df4cb1dce;hpb=372029d27b57689239a95b0f75e154d816182d16;p=pspp diff --git a/src/ui/gui/weight.ui b/src/ui/gui/weight.ui index 2fb04f555d..6f2faa7eba 100644 --- a/src/ui/gui/weight.ui +++ b/src/ui/gui/weight.ui @@ -1,7 +1,23 @@ + + + + + + + + + + + + + + + + - + False @@ -13,11 +29,13 @@ True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_ENTER_NOTIFY_MASK - 2 True False + 5 + 5 + 5 True @@ -221,7 +239,8 @@ - + + vertical True False 5