version 1.71, 2016/01/19 15:59:12 |
version 1.72, 2016/04/29 15:00:48 |
|
|
const char *options_table_bell_action_list[] = { |
const char *options_table_bell_action_list[] = { |
"none", "any", "current", "other", NULL |
"none", "any", "current", "other", NULL |
}; |
}; |
|
const char *options_table_pane_status_list[] = { |
|
"off", "top", "bottom", NULL |
|
}; |
|
|
/* Server options. */ |
/* Server options. */ |
const struct options_table_entry options_table[] = { |
const struct options_table_entry options_table[] = { |
|
|
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW, |
.default_num = 8, |
.default_num = 8, |
.style = "pane-border-style" |
.style = "pane-border-style" |
|
}, |
|
|
|
{ .name = "pane-border-format", |
|
.type = OPTIONS_TABLE_STRING, |
|
.scope = OPTIONS_TABLE_WINDOW, |
|
.default_str = "#{?pane_active,#[reverse],}#{pane_index}#[default] \"#{pane_title}\"" |
|
}, |
|
|
|
{ .name = "pane-border-status", |
|
.type = OPTIONS_TABLE_CHOICE, |
|
.scope = OPTIONS_TABLE_WINDOW, |
|
.choices = options_table_pane_status_list, |
|
.default_num = 0 |
}, |
}, |
|
|
{ .name = "pane-border-style", |
{ .name = "pane-border-style", |