version 1.106, 2019/05/26 17:34:45 |
version 1.107, 2019/06/20 11:59:59 |
|
|
|
|
{ .name = "remain-on-exit", |
{ .name = "remain-on-exit", |
.type = OPTIONS_TABLE_FLAG, |
.type = OPTIONS_TABLE_FLAG, |
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |
.default_num = 0 |
.default_num = 0 |
}, |
}, |
|
|
|
|
|
|
{ .name = "window-active-style", |
{ .name = "window-active-style", |
.type = OPTIONS_TABLE_STYLE, |
.type = OPTIONS_TABLE_STYLE, |
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |
.default_str = "default" |
.default_str = "default" |
}, |
}, |
|
|
|
|
|
|
{ .name = "window-style", |
{ .name = "window-style", |
.type = OPTIONS_TABLE_STYLE, |
.type = OPTIONS_TABLE_STYLE, |
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |
.default_str = "default" |
.default_str = "default" |
}, |
}, |
|
|