X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fweight.ui;h=0e276ebb7a584abcf3d37c969cd6e84c4a0a855a;hb=5b2ed095a8aaa98adaea4922855edcbfb619c728;hp=2fb04f555d359a34d088140705b1580df4cb1dce;hpb=372029d27b57689239a95b0f75e154d816182d16;p=pspp diff --git a/src/ui/gui/weight.ui b/src/ui/gui/weight.ui index 2fb04f555d..0e276ebb7a 100644 --- a/src/ui/gui/weight.ui +++ b/src/ui/gui/weight.ui @@ -1,23 +1,41 @@ + + + + + + + + + + + + + + + + - + False Weight Cases True - WEIGHT + WEIGHT 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