version 1.52, 2015/01/21 12:20:56 |
version 1.53, 2015/02/06 15:09:34 |
|
|
.default_num = 0 |
.default_num = 0 |
}, |
}, |
|
|
{ .name = "pane-active-border-bg", |
|
.type = OPTIONS_TABLE_COLOUR, |
|
.default_num = 8, |
|
.style = "pane-active-border-style" |
|
}, |
|
|
|
{ .name = "pane-active-border-fg", |
|
.type = OPTIONS_TABLE_COLOUR, |
|
.default_num = 2, |
|
.style = "pane-active-border-style" |
|
}, |
|
|
|
{ .name = "pane-active-border-style", |
|
.type = OPTIONS_TABLE_STYLE, |
|
.default_str = "fg=green" |
|
}, |
|
|
|
{ .name = "pane-border-bg", |
|
.type = OPTIONS_TABLE_COLOUR, |
|
.default_num = 8, |
|
.style = "pane-border-style" |
|
}, |
|
|
|
{ .name = "pane-border-fg", |
|
.type = OPTIONS_TABLE_COLOUR, |
|
.default_num = 8, |
|
.style = "pane-border-style" |
|
}, |
|
|
|
{ .name = "pane-border-style", |
|
.type = OPTIONS_TABLE_STYLE, |
|
.default_str = "default" |
|
}, |
|
|
|
{ .name = "prefix", |
{ .name = "prefix", |
.type = OPTIONS_TABLE_KEY, |
.type = OPTIONS_TABLE_KEY, |
.default_num = '\002', |
.default_num = '\002', |
|
|
.default_num = 0 |
.default_num = 0 |
}, |
}, |
|
|
|
{ .name = "pane-active-border-bg", |
|
.type = OPTIONS_TABLE_COLOUR, |
|
.default_num = 8, |
|
.style = "pane-active-border-style" |
|
}, |
|
|
|
{ .name = "pane-active-border-fg", |
|
.type = OPTIONS_TABLE_COLOUR, |
|
.default_num = 2, |
|
.style = "pane-active-border-style" |
|
}, |
|
|
|
{ .name = "pane-active-border-style", |
|
.type = OPTIONS_TABLE_STYLE, |
|
.default_str = "fg=green" |
|
}, |
|
|
{ .name = "pane-base-index", |
{ .name = "pane-base-index", |
.type = OPTIONS_TABLE_NUMBER, |
.type = OPTIONS_TABLE_NUMBER, |
.minimum = 0, |
.minimum = 0, |
.maximum = USHRT_MAX, |
.maximum = USHRT_MAX, |
.default_num = 0 |
.default_num = 0 |
|
}, |
|
|
|
{ .name = "pane-border-bg", |
|
.type = OPTIONS_TABLE_COLOUR, |
|
.default_num = 8, |
|
.style = "pane-border-style" |
|
}, |
|
|
|
{ .name = "pane-border-fg", |
|
.type = OPTIONS_TABLE_COLOUR, |
|
.default_num = 8, |
|
.style = "pane-border-style" |
|
}, |
|
|
|
{ .name = "pane-border-style", |
|
.type = OPTIONS_TABLE_STYLE, |
|
.default_str = "default" |
}, |
}, |
|
|
{ .name = "remain-on-exit", |
{ .name = "remain-on-exit", |