version 1.107, 2019/06/20 11:59:59 |
version 1.108, 2019/06/20 13:40:22 |
|
|
|
|
{ .name = "allow-rename", |
{ .name = "allow-rename", |
.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 = "alternate-screen", |
{ .name = "alternate-screen", |
.type = OPTIONS_TABLE_FLAG, |
.type = OPTIONS_TABLE_FLAG, |
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |
.default_num = 1 |
.default_num = 1 |
}, |
}, |
|
|