X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ffind.ui;h=13caa3032f23924b332cc1ea99bde9e487d45ed9;hb=5816109430eb4b71652de09cfdc2df2bc5c44655;hp=02fa7b8ffc0b5d8be79304d8fb1ca94787ed21b5;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/find.ui b/src/ui/gui/find.ui index 02fa7b8ffc..13caa3032f 100644 --- a/src/ui/gui/find.ui +++ b/src/ui/gui/find.ui @@ -1,3 +1,4 @@ + @@ -14,10 +15,9 @@ - - + False @@ -293,7 +293,7 @@ - + vertical True False