X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Funivariate.ui;h=6e04ec885408acdc4f27dfffd92b0cf91c98f07f;hb=03a7b96a587a58bda342b4eb5ce5f935880ba2b7;hp=404a046ae86a819ed5a6a4c945693d1cf1a393c0;hpb=c259b336de0870cfdb221761238c519efe094177;p=pspp diff --git a/src/ui/gui/univariate.ui b/src/ui/gui/univariate.ui index 404a046ae8..6e04ec8854 100644 --- a/src/ui/gui/univariate.ui +++ b/src/ui/gui/univariate.ui @@ -99,22 +99,22 @@ 0 none - + + 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 - etched-in - - - True - True - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - False - - - - + False + + + + @@ -244,11 +244,11 @@ 0 none - - 12 - True - True - ● + + 12 + True + True + ● @@ -277,24 +277,24 @@ 0 none - + + True + 12 + True + GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + never + etched-in + + True - 12 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 - 0 - False - False - - - + 0 + False + False + + +