X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmeans.ui;h=38166a17b0539c03dc9cd85a118987b7f0a8222b;hb=b78aa5f6c822c055d1c3e98cb868c17070402799;hp=42eb287db223aa5382c65387a01d4161222b52ff;hpb=9be3ebc378cac9467044f7240b1c42ab1bfe01c2;p=pspp diff --git a/src/ui/gui/means.ui b/src/ui/gui/means.ui index 42eb287db2..38166a17b0 100644 --- a/src/ui/gui/means.ui +++ b/src/ui/gui/means.ui @@ -1,27 +1,24 @@ + - + - + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Means True - MEANS + 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 - - + True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -29,88 +26,87 @@ 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 + 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 - 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 - stat-variables - - + center + center + 5 + all-variables + stat-variables False - False + True 0 True + False 0 none - - True - 12 - True True + 12 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 + 0 False False + + + - - True + False _Dependent List: True True @@ -119,6 +115,8 @@ + True + True 1 @@ -129,55 +127,47 @@ - + True + False - + True + True + 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 - - + center + center + 5 + all-variables False - False + True 0 True + False 0 none - - True - 12 - - - True + False _Independent List: True + True + True 1 @@ -189,19 +179,22 @@ + 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