version 1.53, 2015/02/06 15:09:34 |
version 1.54, 2015/04/19 21:05:27 |
|
|
.default_num = 0 /* overridden in main() */ |
.default_num = 0 /* overridden in main() */ |
}, |
}, |
|
|
|
{ .name = "window-active-style", |
|
.type = OPTIONS_TABLE_STYLE, |
|
.default_str = "default" |
|
}, |
|
|
|
{ .name = "window-style", |
|
.type = OPTIONS_TABLE_STYLE, |
|
.default_str = "default" |
|
}, |
|
|
{ .name = "window-status-activity-attr", |
{ .name = "window-status-activity-attr", |
.type = OPTIONS_TABLE_ATTRIBUTES, |
.type = OPTIONS_TABLE_ATTRIBUTES, |
.default_num = GRID_ATTR_REVERSE, |
.default_num = GRID_ATTR_REVERSE, |