version 1.170, 2024/03/21 11:53:11 |
version 1.171, 2024/04/10 07:36:25 |
|
|
"to rename windows." |
"to rename windows." |
}, |
}, |
|
|
|
{ .name = "allow-set-title", |
|
.type = OPTIONS_TABLE_FLAG, |
|
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |
|
.default_num = 1, |
|
.text = "Whether applications are allowed to use the escape sequence " |
|
"to set the pane title." |
|
}, |
|
|
{ .name = "alternate-screen", |
{ .name = "alternate-screen", |
.type = OPTIONS_TABLE_FLAG, |
.type = OPTIONS_TABLE_FLAG, |
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |