X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ffind.ui;h=13caa3032f23924b332cc1ea99bde9e487d45ed9;hb=033449d465fb54526d3984d55772e6a38e7d922c;hp=8f2aab877ccaf752751fae3dd97195c5e5577cf2;hpb=dc6d0e08956c6ad42cc943b7496a192c71bdbe02;p=pspp diff --git a/src/ui/gui/find.ui b/src/ui/gui/find.ui index 8f2aab877c..13caa3032f 100644 --- a/src/ui/gui/find.ui +++ b/src/ui/gui/find.ui @@ -1,7 +1,23 @@ + + + + + + + + + + + + + + + + - + False @@ -277,7 +293,7 @@ - + vertical True False