X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fselect-cases.ui;h=2e54816fd7a828dad2d0bb49bad0c597f0c9d188;hb=6fca007244bd4a7c917f2dc3a6bab87a2ad7461a;hp=fd1ef9f2019e57b73b46d391d8b64da230695a14;hpb=605ad58cc8547aa18c131044b1319d8ed2f2a85d;p=pspp diff --git a/src/ui/gui/select-cases.ui b/src/ui/gui/select-cases.ui index fd1ef9f201..2e54816fd7 100644 --- a/src/ui/gui/select-cases.ui +++ b/src/ui/gui/select-cases.ui @@ -1,7 +1,23 @@ + + + + + + + + + + + + + + + + - + 1 @@ -121,7 +137,8 @@ - + + horizontal True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -143,7 +160,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Select Cases True - SELECT-IF + SELECT-IF True @@ -654,7 +671,8 @@ - + + horizontal True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -748,7 +766,8 @@ - + + horizontal True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK