version 1.143, 2021/06/10 07:56:47 |
version 1.144, 2021/06/16 11:57:04 |
|
|
.maximum = INT_MAX, |
.maximum = INT_MAX, |
.default_num = 1, |
.default_num = 1, |
.unit = "milliseconds", |
.unit = "milliseconds", |
.text = "Maximum time between input to assume it pasting rather " |
.text = "Maximum time between input to assume it is pasting rather " |
"than typing." |
"than typing." |
}, |
}, |
|
|
|
|
.text = "Formats for the status lines. " |
.text = "Formats for the status lines. " |
"Each array member is the format for one status line. " |
"Each array member is the format for one status line. " |
"The default status line is made up of several components " |
"The default status line is made up of several components " |
"which may be configured individually with other option such " |
"which may be configured individually with other options such " |
"as 'status-left'." |
"as 'status-left'." |
}, |
}, |
|
|
|
|
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW, |
.choices = options_table_pane_lines_list, |
.choices = options_table_pane_lines_list, |
.default_num = PANE_LINES_SINGLE, |
.default_num = PANE_LINES_SINGLE, |
.text = "Type of the pane type lines." |
.text = "Type of characters used to draw pane border lines. Some of " |
|
"these are only supported on terminals with UTF-8 support." |
}, |
}, |
|
|
{ .name = "pane-border-status", |
{ .name = "pane-border-status", |