Add a "terminal" colour which can be used instead of "default" in style

options for the terminal default colour, bypassing any inheritance from
other options. Prompted by a discussion with abieber@.
This commit is contained in:
nicm
2018-10-25 15:13:38 +00:00
parent 9feb35b7c4
commit fc41bf46ac
7 changed files with 51 additions and 32 deletions

View File

@ -771,7 +771,7 @@ const struct options_table_entry options_table[] = {
.type = OPTIONS_TABLE_CHOICE,
.scope = OPTIONS_TABLE_WINDOW,
.choices = options_table_window_size_list,
.default_num = WINDOW_SIZE_LARGEST
.default_num = WINDOW_SIZE_SMALLEST
},
{ .name = "window-style",