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=a3f45d9e6ff5a819a66cf7b0e630607739cfe95f;hpb=158b6b7f7f3c1ea4ea4443ecb87d2a980808577b;p=pspp diff --git a/src/ui/gui/options.ui b/src/ui/gui/options.ui index a3f45d9e6f..746926ff87 100644 --- a/src/ui/gui/options.ui +++ b/src/ui/gui/options.ui @@ -1,7 +1,23 @@ + + + + + + + + + + + + + + + + - + False @@ -151,9 +167,77 @@ + + + True + False + 0 + in + + + True + False + vertical + spread + + + Ma_ximize + True + True + False + True + True + + + True + True + 0 + + + + + _Raise + True + True + False + True + True + + + True + True + 1 + + + + + Aler_t + True + True + False + True + True + + + True + True + 2 + + + + + + + True + False + Output Window Action + + + + - + vertical True False @@ -168,9 +252,9 @@ 1 - + - +