version 1.128, 2020/05/16 16:10:28 |
version 1.129, 2020/05/16 16:26:34 |
|
|
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_lines_list[] = { |
|
"single", "double", "heavy", "simple", "number", NULL |
|
}; |
static const char *options_table_set_clipboard_list[] = { |
static const char *options_table_set_clipboard_list[] = { |
"off", "external", "on", NULL |
"off", "external", "on", 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-lines", |
|
.type = OPTIONS_TABLE_CHOICE, |
|
.scope = OPTIONS_TABLE_WINDOW, |
|
.choices = options_table_pane_lines_list, |
|
.default_num = PANE_LINES_SINGLE, |
|
.text = "Type of the pane type lines." |
}, |
}, |
|
|
{ .name = "pane-border-status", |
{ .name = "pane-border-status", |