X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Ffind.ui;h=13caa3032f23924b332cc1ea99bde9e487d45ed9;hb=65d602ed236d685ffec00ad1552a193cf47b2e4d;hp=ac05b5961d025603274de846c16d20b31c56539a;hpb=5dbf5abcbed01f04422d4dead1c0ae0bb7efde4f;p=pspp diff --git a/src/ui/gui/find.ui b/src/ui/gui/find.ui index ac05b5961d..13caa3032f 100644 --- a/src/ui/gui/find.ui +++ b/src/ui/gui/find.ui @@ -17,7 +17,7 @@ - + False @@ -293,7 +293,7 @@ - + vertical True False