version 1.164, 2022/08/02 11:09:26 |
version 1.165, 2022/09/09 11:02:23 |
|
|
static const char *options_table_status_list[] = { |
static const char *options_table_status_list[] = { |
"off", "on", "2", "3", "4", "5", NULL |
"off", "on", "2", "3", "4", "5", NULL |
}; |
}; |
|
static const char *options_table_message_line_list[] = { |
|
"0", "1", "2", "3", "4", NULL |
|
}; |
static const char *options_table_status_keys_list[] = { |
static const char *options_table_status_keys_list[] = { |
"emacs", "vi", NULL |
"emacs", "vi", NULL |
}; |
}; |
|
|
"'mode-keys' is set to 'vi'." |
"'mode-keys' is set to 'vi'." |
}, |
}, |
|
|
|
{ .name = "message-line", |
|
.type = OPTIONS_TABLE_CHOICE, |
|
.scope = OPTIONS_TABLE_SESSION, |
|
.choices = options_table_message_line_list, |
|
.default_num = 0, |
|
.text = "Position (line) of messages and the command prompt." |
|
}, |
|
|
{ .name = "message-style", |
{ .name = "message-style", |
.type = OPTIONS_TABLE_STRING, |
.type = OPTIONS_TABLE_STRING, |
.scope = OPTIONS_TABLE_SESSION, |
.scope = OPTIONS_TABLE_SESSION, |
.default_str = "bg=yellow,fg=black", |
.default_str = "bg=yellow,fg=black", |
.flags = OPTIONS_TABLE_IS_STYLE, |
.flags = OPTIONS_TABLE_IS_STYLE, |
.separator = ",", |
.separator = ",", |
.text = "Style of the command prompt." |
.text = "Style of messages and the command prompt." |
}, |
}, |
|
|
{ .name = "mouse", |
{ .name = "mouse", |