X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fweight.ui;h=9ee4e46ef3844aa20de780b2c4e1101b521a5384;hb=90235aa878616d2fac8b539416dd806b135a44e6;hp=2fb04f555d359a34d088140705b1580df4cb1dce;hpb=372029d27b57689239a95b0f75e154d816182d16;p=pspp diff --git a/src/ui/gui/weight.ui b/src/ui/gui/weight.ui index 2fb04f555d..9ee4e46ef3 100644 --- a/src/ui/gui/weight.ui +++ b/src/ui/gui/weight.ui @@ -1,7 +1,7 @@ - + False @@ -13,11 +13,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 +223,8 @@ - + + vertical True False 5