version 1.131, 2020/05/16 16:44:54 |
version 1.132, 2020/05/22 15:08:38 |
|
|
.type = OPTIONS_TABLE_STRING, |
.type = OPTIONS_TABLE_STRING, |
.scope = OPTIONS_TABLE_SERVER, |
.scope = OPTIONS_TABLE_SERVER, |
.flags = OPTIONS_TABLE_IS_ARRAY, |
.flags = OPTIONS_TABLE_IS_ARRAY, |
.default_str = "xterm*:clipboard:ccolour:cstyle:title," |
.default_str = "xterm*:clipboard:ccolour:cstyle:focus:title," |
"screen*:title", |
"screen*:title", |
.separator = ",", |
.separator = ",", |
.text = "List of terminal features, used if they cannot be " |
.text = "List of terminal features, used if they cannot be " |