X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Foptions.ui;h=c5c64741e2435d47a1e7c858582ac7d45aa00a15;hb=8ccde6b2cb998a1acb9d8074b25088d839cf658f;hp=75e827fcf357ffd7d7ad269d7461a1e3b2f79315;hpb=d544788058262e65e71591348d9976a7fd792c97;p=pspp diff --git a/src/ui/gui/options.ui b/src/ui/gui/options.ui index 75e827fcf3..c5c64741e2 100644 --- a/src/ui/gui/options.ui +++ b/src/ui/gui/options.ui @@ -1,4 +1,20 @@ + + + + + + + + + + + + + + + + @@ -219,7 +235,7 @@ - + vertical @@ -236,9 +252,9 @@ 1 - + - +