X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ffind.ui;h=13caa3032f23924b332cc1ea99bde9e487d45ed9;hb=684cd61c11313517223159e0df662c3d6bf8b139;hp=ac05b5961d025603274de846c16d20b31c56539a;hpb=22b0595b354a0cf111e4ea8b14494be25d8c29ee;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