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