version 1.141, 2021/06/10 07:24:10 |
version 1.142, 2021/06/10 07:50:03 |
|
|
.text = "Maximum number of server messages to keep." |
.text = "Maximum number of server messages to keep." |
}, |
}, |
|
|
|
{ .name = "prompt-history-limit", |
|
.type = OPTIONS_TABLE_NUMBER, |
|
.scope = OPTIONS_TABLE_SERVER, |
|
.minimum = 0, |
|
.maximum = INT_MAX, |
|
.default_num = 100, |
|
.text = "Maximum number of commands to keep in history." |
|
}, |
|
|
{ .name = "set-clipboard", |
{ .name = "set-clipboard", |
.type = OPTIONS_TABLE_CHOICE, |
.type = OPTIONS_TABLE_CHOICE, |
.scope = OPTIONS_TABLE_SERVER, |
.scope = OPTIONS_TABLE_SERVER, |