version 1.155, 2021/12/13 09:42:20 |
version 1.156, 2022/02/01 14:46:41 |
|
|
static const char *options_table_pane_status_list[] = { |
static const char *options_table_pane_status_list[] = { |
"off", "top", "bottom", NULL |
"off", "top", "bottom", NULL |
}; |
}; |
|
static const char *options_table_pane_border_indicators_list[] = { |
|
"off", "colour", "arrows", "both", NULL |
|
}; |
static const char *options_table_pane_border_lines_list[] = { |
static const char *options_table_pane_border_lines_list[] = { |
"single", "double", "heavy", "simple", "number", NULL |
"single", "double", "heavy", "simple", "number", NULL |
}; |
}; |
|
|
.default_str = "#{?pane_active,#[reverse],}#{pane_index}#[default] " |
.default_str = "#{?pane_active,#[reverse],}#{pane_index}#[default] " |
"\"#{pane_title}\"", |
"\"#{pane_title}\"", |
.text = "Format of text in the pane status lines." |
.text = "Format of text in the pane status lines." |
|
}, |
|
|
|
{ .name = "pane-border-indicators", |
|
.type = OPTIONS_TABLE_CHOICE, |
|
.scope = OPTIONS_TABLE_WINDOW, |
|
.choices = options_table_pane_border_indicators_list, |
|
.default_num = PANE_BORDER_COLOUR, |
|
.text = "Whether to indicate the active pane by colouring border or " |
|
"displaying arrow markers." |
}, |
}, |
|
|
{ .name = "pane-border-lines", |
{ .name = "pane-border-lines", |