Add different command historys for different types of prompts ("command",

"search" etc). From Anindya Mukherjee.
This commit is contained in:
Nicholas Marriott
2021-05-03 07:39:32 +01:00
parent 40467726e3
commit c03b57465b
13 changed files with 356 additions and 96 deletions

View File

@ -301,6 +301,15 @@ const struct options_table_entry options_table[] = {
.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",
.type = OPTIONS_TABLE_CHOICE,
.scope = OPTIONS_TABLE_SERVER,