From: John Darrington Date: Sat, 3 Oct 2020 05:07:00 +0000 (+0200) Subject: src/ui/gui/t-test.ui: Remove deprecated properties X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=58e220278b46ff67f3790be344d006cb3f8757fc;p=pspp src/ui/gui/t-test.ui: Remove deprecated properties --- diff --git a/src/ui/gui/t-test.ui b/src/ui/gui/t-test.ui index 463c10c341..7ca35753a9 100644 --- a/src/ui/gui/t-test.ui +++ b/src/ui/gui/t-test.ui @@ -1,21 +1,17 @@ + - - + - - - - @@ -25,6 +21,9 @@ Options True T_002dTEST + + + True @@ -53,9 +52,9 @@ True - 12 False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + 12 vertical spread @@ -65,8 +64,8 @@ True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + start True - 0.5 True True @@ -83,8 +82,8 @@ True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + start True - 0.5 True True radiobutton1 @@ -123,7 +122,6 @@ - vertical True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -147,7 +145,10 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK One - Sample T Test True - T_002dTEST + One-Sample-Mode + + + True @@ -160,12 +161,12 @@ 5 - vertical True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK True 5 + vertical 3 @@ -184,9 +185,9 @@ True - 12 True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + 12 never etched-in @@ -261,10 +262,10 @@ True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - 0 Test _Value: True test-value-entry + 0 False