X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foptions.ui;h=746926ff87475657dd20dff24ea08f5d20ff7fda;hb=c4d60b82a3c3b2e2398f2f8247b23aaacd7951ca;hp=87ca037102b52ef458d3755536b61c4135546c2f;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/options.ui b/src/ui/gui/options.ui index 87ca037102..746926ff87 100644 --- a/src/ui/gui/options.ui +++ b/src/ui/gui/options.ui @@ -1,3 +1,4 @@ + @@ -14,10 +15,9 @@ - - + False @@ -235,9 +235,9 @@ - + - + vertical True False @@ -252,9 +252,9 @@ 1 - + - +