diff options
| author | nicm <nicm> | 2021-10-13 09:28:36 +0000 |
|---|---|---|
| committer | nicm <nicm> | 2021-10-13 09:28:36 +0000 |
| commit | 837ca176d1874273f3de615c75b506e1b1787a1b (patch) | |
| tree | c219d8f8cf7399437e4285d713735991636b82cb /options-table.c | |
| parent | b8581ec80e5339be5e2c08cfec70a77f21ba06b2 (diff) | |
Add popup-style and popup-border-style options, from Alexis Hildebrandt
in GitHub issue 2927.
Diffstat (limited to 'options-table.c')
| -rw-r--r-- | options-table.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/options-table.c b/options-table.c index 607a90b6..e728dbe9 100644 --- a/options-table.c +++ b/options-table.c @@ -982,6 +982,24 @@ const struct options_table_entry options_table[] = { .text = "The default colour palette for colours zero to 255." }, + { .name = "popup-style", + .type = OPTIONS_TABLE_STRING, + .scope = OPTIONS_TABLE_WINDOW, + .default_str = "default", + .flags = OPTIONS_TABLE_IS_STYLE, + .separator = ",", + .text = "Default style of popups." + }, + + { .name = "popup-border-style", + .type = OPTIONS_TABLE_STRING, + .scope = OPTIONS_TABLE_WINDOW, + .default_str = "default", + .flags = OPTIONS_TABLE_IS_STYLE, + .separator = ",", + .text = "Default style of popup borders." + }, + { .name = "remain-on-exit", .type = OPTIONS_TABLE_CHOICE, .scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |