X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmeans.ui;h=17391912319790c139d3326739f0209a4b498d18;hb=9a4fd397b9ef95cbeb033cd7d92a3bebfe8709fc;hp=38166a17b0539c03dc9cd85a118987b7f0a8222b;hpb=b78aa5f6c822c055d1c3e98cb868c17070402799;p=pspp diff --git a/src/ui/gui/means.ui b/src/ui/gui/means.ui index 38166a17b0..1739191231 100644 --- a/src/ui/gui/means.ui +++ b/src/ui/gui/means.ui @@ -1,7 +1,7 @@ - + False @@ -16,174 +16,174 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 2 - + + True + False + GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + + True - False + 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 - 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 - 0 - False - False - - - + center + center + 5 + all-variables + stat-variables + + False + True + 0 + - - - True - True - 0 - - - - - True - True - vertical - + True False + 0 + none - + True True - True + 12 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 - - - - - True - False - 0 - none + never + etched-in - - True - 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 - 0 - False - False - - - - - - - - - + True - False - _Dependent List: - True - True - stat-variables + True + GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + 0 + False + False + + + - - True - True - 1 - + + + True + False + _Dependent List: + True + True + stat-variables + + + + + 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 + False + True + 0 - + True False + 0 + none - - 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 - False - _Independent List: - True - - + _Independent List: + True - - True - True - 1 - - True - True + True + True + 1 - True - True - 1 + True + True + + + True + True + 1 + + True @@ -192,7 +192,8 @@ - + + vertical True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK