version 1.166, 2023/08/08 08:08:47 |
version 1.167, 2023/08/15 07:01:47 |
|
|
.text = "Default style of menu." |
.text = "Default style of menu." |
}, |
}, |
|
|
|
{ .name = "menu-selected-style", |
|
.type = OPTIONS_TABLE_STRING, |
|
.scope = OPTIONS_TABLE_WINDOW, |
|
.flags = OPTIONS_TABLE_IS_STYLE, |
|
.default_str = "bg=yellow,fg=black", |
|
.separator = ",", |
|
.text = "Default style of selected menu item." |
|
}, |
|
|
{ .name = "menu-border-style", |
{ .name = "menu-border-style", |
.type = OPTIONS_TABLE_STRING, |
.type = OPTIONS_TABLE_STRING, |
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW, |
|
|
{ .name = "mode-style", |
{ .name = "mode-style", |
.type = OPTIONS_TABLE_STRING, |
.type = OPTIONS_TABLE_STRING, |
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW, |
.default_str = "bg=yellow,fg=black", |
|
.flags = OPTIONS_TABLE_IS_STYLE, |
.flags = OPTIONS_TABLE_IS_STYLE, |
|
.default_str = "bg=yellow,fg=black", |
.separator = ",", |
.separator = ",", |
.text = "Style of indicators and highlighting in modes." |
.text = "Style of indicators and highlighting in modes." |
}, |
}, |