version 1.151, 2021/10/13 09:28:36 |
version 1.152, 2021/10/14 13:19:01 |
|
|
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[] = { |
static const char *options_table_pane_border_lines_list[] = { |
"single", "double", "heavy", "simple", "number", NULL |
"single", "double", "heavy", "simple", "number", NULL |
}; |
}; |
|
static const char *options_table_popup_border_lines_list[] = { |
|
"single", "double", "heavy", "simple", "rounded", "padded", "none", 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 |
}; |
}; |
|
|
{ .name = "pane-border-lines", |
{ .name = "pane-border-lines", |
.type = OPTIONS_TABLE_CHOICE, |
.type = OPTIONS_TABLE_CHOICE, |
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW, |
.choices = options_table_pane_lines_list, |
.choices = options_table_pane_border_lines_list, |
.default_num = PANE_LINES_SINGLE, |
.default_num = PANE_LINES_SINGLE, |
.text = "Type of characters used to draw pane border lines. Some of " |
.text = "Type of characters used to draw pane border lines. Some of " |
"these are only supported on terminals with UTF-8 support." |
"these are only supported on terminals with UTF-8 support." |
|
|
.flags = OPTIONS_TABLE_IS_STYLE, |
.flags = OPTIONS_TABLE_IS_STYLE, |
.separator = ",", |
.separator = ",", |
.text = "Default style of popup borders." |
.text = "Default style of popup borders." |
|
}, |
|
|
|
{ .name = "popup-border-lines", |
|
.type = OPTIONS_TABLE_CHOICE, |
|
.scope = OPTIONS_TABLE_WINDOW, |
|
.choices = options_table_popup_border_lines_list, |
|
.default_num = BOX_LINES_SINGLE, |
|
.text = "Type of characters used to draw popup border lines. Some of " |
|
"these are only supported on terminals with UTF-8 support." |
}, |
}, |
|
|
{ .name = "remain-on-exit", |
{ .name = "remain-on-exit", |