Add a prefix timeout option, from Conor Taylor in GitHub issue 4108.

This commit is contained in:
nicm
2024-09-16 20:28:22 +00:00
parent 3a8a31d8d2
commit d8b66110f7
3 changed files with 51 additions and 2 deletions

View File

@ -386,6 +386,17 @@ const struct options_table_entry options_table[] = {
.text = "Maximum number of server messages to keep."
},
{ .name = "prefix-timeout",
.type = OPTIONS_TABLE_NUMBER,
.scope = OPTIONS_TABLE_SERVER,
.minimum = 0,
.maximum = INT_MAX,
.default_num = 0,
.unit = "milliseconds",
.text = "The timeout for the prefix key if no subsequent key is "
"pressed. Zero means disabled."
},
{ .name = "prompt-history-limit",
.type = OPTIONS_TABLE_NUMBER,
.scope = OPTIONS_TABLE_SERVER,