version 1.88, 2017/05/30 21:44:59 |
version 1.89, 2017/06/03 17:43: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_set_clipboard_list[] = { |
|
"off", "external", "on", NULL |
|
}; |
|
|
/* Top-level options. */ |
/* Top-level options. */ |
const struct options_table_entry options_table[] = { |
const struct options_table_entry options_table[] = { |
|
|
}, |
}, |
|
|
{ .name = "set-clipboard", |
{ .name = "set-clipboard", |
.type = OPTIONS_TABLE_FLAG, |
.type = OPTIONS_TABLE_CHOICE, |
.scope = OPTIONS_TABLE_SERVER, |
.scope = OPTIONS_TABLE_SERVER, |
|
.choices = options_table_set_clipboard_list, |
.default_num = 1 |
.default_num = 1 |
}, |
}, |
|
|