X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fgoto-case.ui;h=2c718895511d58856fc0cd6e8570107ec1b4c175;hb=d1a98ef3d49f66f6622e2eee6215f78d9dda83bb;hp=79490b7a0c94386cadcb7875bf75ae57f4937424;hpb=5dbf5abcbed01f04422d4dead1c0ae0bb7efde4f;p=pspp diff --git a/src/ui/gui/goto-case.ui b/src/ui/gui/goto-case.ui index 79490b7a0c..2c71889551 100644 --- a/src/ui/gui/goto-case.ui +++ b/src/ui/gui/goto-case.ui @@ -17,7 +17,7 @@ - + 1 @@ -80,7 +80,7 @@ - + horizontal True False