X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fgoto-case.ui;h=2c718895511d58856fc0cd6e8570107ec1b4c175;hb=4bab530fa888321338691db431df5e6316f85540;hp=9cb6789887f67fadf4f68541cca723d0cccb03ef;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/goto-case.ui b/src/ui/gui/goto-case.ui index 9cb6789887..2c71889551 100644 --- a/src/ui/gui/goto-case.ui +++ b/src/ui/gui/goto-case.ui @@ -1,3 +1,4 @@ + @@ -14,10 +15,9 @@ - - + 1 @@ -80,7 +80,7 @@ - + horizontal True False