X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foptions.ui;h=3a15821edd1c8e1db44dbbaa6691da7cb01f9743;hb=ccaf88efae9f6f4d93d7812834c412e8fd511bb2;hp=a3f45d9e6ff5a819a66cf7b0e630607739cfe95f;hpb=158b6b7f7f3c1ea4ea4443ecb87d2a980808577b;p=pspp diff --git a/src/ui/gui/options.ui b/src/ui/gui/options.ui index a3f45d9e6f..3a15821edd 100644 --- a/src/ui/gui/options.ui +++ b/src/ui/gui/options.ui @@ -1,4 +1,20 @@ + + + + + + + + + + + + + + + + @@ -151,7 +167,75 @@ - + + + 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