X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmeans.ui;h=c75535f5631659e8af451d5305f1683e61bd8a01;hb=5cec2f151407ded00c03b00b101578e9123b91b2;hp=a650a6bba93f1a8b02f454c1836e252b022bc7dd;hpb=c473f9ca75fc61a68e9e7e3bd7cb5f36dd0f7cf5;p=pspp diff --git a/src/ui/gui/means.ui b/src/ui/gui/means.ui index a650a6bba9..c75535f563 100644 --- a/src/ui/gui/means.ui +++ b/src/ui/gui/means.ui @@ -1,206 +1,200 @@ + - + - + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Means True - - + MEANS + + True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 2 - + True - 5 - 5 - 5 + False + GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - + True + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + never + etched-in - + True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - never - automatic - etched-in + 0 + False + False + + + + + + + + True + True + 0 + + + + + True + True + vertical + + + True + False - + True True + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - False - False + center + center + 5 + all-variables + stat-variables + + False + True + 0 + - - - 0 - - - - - True - True - vertical - + True + False + 0 + none - + True + True + 12 GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - 0.25 - 0 - 0 + never + etched-in - + True True - True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - 5 - all-variables - stat-variables + 0 + False + False + + + - - False - False - 0 - - - + + True - 0 - none - - - True - 12 - - - True - True - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - never - automatic - etched-in - - - True - True - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - False - False - - - - - - - - - True - _Dependent List: - True - True - stat-variables - - + False + _Dependent List: + True + True + stat-variables - - 1 - - False - True + True + True + 1 + + + False + True + + + + + True + False - + True + True + True + GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + center + center + 5 + all-variables + + + False + True + 0 + + + + + True + False + 0 + none - - True - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - 0.25 - 0 - 0 - - - True - True - True - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - 5 - all-variables - - - - - False - False - 0 - + - - + + True - 0 - none - - - True - 12 - - - - - - - - True - _Independent List: - True - - + False + _Independent List: + True - - 1 - - True - True + True + True + 1 - 1 + True + True + + True + True + 1 + + True + True 0 True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 5