X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foptions.ui;h=746926ff87475657dd20dff24ea08f5d20ff7fda;hb=db83cfb8d09e5ef9aecd905e7fd6ac7973088bed;hp=75e827fcf357ffd7d7ad269d7461a1e3b2f79315;hpb=d544788058262e65e71591348d9976a7fd792c97;p=pspp diff --git a/src/ui/gui/options.ui b/src/ui/gui/options.ui index 75e827fcf3..746926ff87 100644 --- a/src/ui/gui/options.ui +++ b/src/ui/gui/options.ui @@ -1,7 +1,23 @@ + + + + + + + + + + + + + + + + - + False @@ -219,9 +235,9 @@ - + - + vertical True False @@ -236,9 +252,9 @@ 1 - + - +