version 1.96, 2018/04/23 14:03:06 |
version 1.97, 2018/10/18 08:38:01 |
|
|
static const char *options_table_set_clipboard_list[] = { |
static const char *options_table_set_clipboard_list[] = { |
"off", "external", "on", NULL |
"off", "external", "on", NULL |
}; |
}; |
|
static const char *options_table_window_size_list[] = { |
|
"largest", "smallest", "manual", NULL |
|
}; |
|
|
/* Top-level options. */ |
/* Top-level options. */ |
const struct options_table_entry options_table[] = { |
const struct options_table_entry options_table[] = { |
|
|
.default_str = _PATH_BSHELL |
.default_str = _PATH_BSHELL |
}, |
}, |
|
|
|
{ .name = "default-size", |
|
.type = OPTIONS_TABLE_STRING, |
|
.scope = OPTIONS_TABLE_SESSION, |
|
.pattern = "[0-9]*x[0-9]*", |
|
.default_str = "80x24" |
|
}, |
|
|
{ .name = "destroy-unattached", |
{ .name = "destroy-unattached", |
.type = OPTIONS_TABLE_FLAG, |
.type = OPTIONS_TABLE_FLAG, |
.scope = OPTIONS_TABLE_SESSION, |
.scope = OPTIONS_TABLE_SESSION, |
|
|
{ .name = "status-right", |
{ .name = "status-right", |
.type = OPTIONS_TABLE_STRING, |
.type = OPTIONS_TABLE_STRING, |
.scope = OPTIONS_TABLE_SESSION, |
.scope = OPTIONS_TABLE_SESSION, |
.default_str = " \"#{=21:pane_title}\" %H:%M %d-%b-%y" |
.default_str = "#{?window_bigger," |
|
"[#{window_offset_x}#,#{window_offset_y}] ,}" |
|
"\"#{=21:pane_title}\" %H:%M %d-%b-%y" |
}, |
}, |
|
|
{ .name = "status-right-attr", |
{ .name = "status-right-attr", |
|
|
.default_num = 1 |
.default_num = 1 |
}, |
}, |
|
|
{ .name = "force-height", |
|
.type = OPTIONS_TABLE_NUMBER, |
|
.scope = OPTIONS_TABLE_WINDOW, |
|
.minimum = 0, |
|
.maximum = INT_MAX, |
|
.default_num = 0 |
|
}, |
|
|
|
{ .name = "force-width", |
|
.type = OPTIONS_TABLE_NUMBER, |
|
.scope = OPTIONS_TABLE_WINDOW, |
|
.minimum = 0, |
|
.maximum = INT_MAX, |
|
.default_num = 0 |
|
}, |
|
|
|
{ .name = "main-pane-height", |
{ .name = "main-pane-height", |
.type = OPTIONS_TABLE_NUMBER, |
.type = OPTIONS_TABLE_NUMBER, |
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW, |
|
|
.type = OPTIONS_TABLE_STYLE, |
.type = OPTIONS_TABLE_STYLE, |
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW, |
.default_str = "default" |
.default_str = "default" |
|
}, |
|
|
|
{ .name = "window-size", |
|
.type = OPTIONS_TABLE_CHOICE, |
|
.scope = OPTIONS_TABLE_WINDOW, |
|
.choices = options_table_window_size_list, |
|
.default_num = WINDOW_SIZE_LARGEST |
}, |
}, |
|
|
{ .name = "window-style", |
{ .name = "window-style", |