X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fgoto-case.ui;h=2c718895511d58856fc0cd6e8570107ec1b4c175;hb=5b2ed095a8aaa98adaea4922855edcbfb619c728;hp=79490b7a0c94386cadcb7875bf75ae57f4937424;hpb=22b0595b354a0cf111e4ea8b14494be25d8c29ee;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