X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmeans.ui;h=09c9b732d1f3c2b0a64ed0aa1c6b2443e5693260;hb=033449d465fb54526d3984d55772e6a38e7d922c;hp=f0c2138f2c0cc26f05aaaefd37ed05b489eb8e4c;hpb=2b4fb7e846d62f1a70656bb42a0f769363ed0832;p=pspp diff --git a/src/ui/gui/means.ui b/src/ui/gui/means.ui index f0c2138f2c..09c9b732d1 100644 --- a/src/ui/gui/means.ui +++ b/src/ui/gui/means.ui @@ -1,104 +1,119 @@ - + + + + + + + + + + + + + + + + + + + - - + 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 - - - True - True - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - False - False - + 0 + False + False + + - - 0 - + + + True + True + 0 + + + + + True + True + vertical - + True - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - 0.25 - 0 - 0 + 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 stat-variables + + False + True + 0 + - - - False - False - 1 - - - - - True - True - vertical True + False 0 none - + True - 12 + True + 12 + 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 - - - True - True - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - False - False - + 0 + False + False + + @@ -107,6 +122,7 @@ True + False _Dependent List: True True @@ -115,52 +131,87 @@ - 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 - 12 - - - - + True + False _Independent List: True - True - True + True + True + 1 - 2 + True + True + + True + True + 1 + + True + True 0 - + + vertical True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 5