diff options
| author | nicm <nicm> | 2017-12-22 10:18:51 +0000 |
|---|---|---|
| committer | nicm <nicm> | 2017-12-22 10:18:51 +0000 |
| commit | 7ba5ad4cfb49a5de3971f823ba5d08d4760480c2 (patch) | |
| tree | 76f923b33af2dd70f10d5b1c0033d8f234d2e72a /cmd-set-option.c | |
| parent | 5c824322004571b40668393876e9aaac0f97eb77 (diff) | |
Do not try to set default value on user options (they don't have one),
from Charles Howard in GitHub issue 1161.
Diffstat (limited to 'cmd-set-option.c')
| -rw-r--r-- | cmd-set-option.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cmd-set-option.c b/cmd-set-option.c index d1ec6fcf..bdc42cae 100644 --- a/cmd-set-option.c +++ b/cmd-set-option.c @@ -192,7 +192,9 @@ cmd_set_option_exec(struct cmd *self, struct cmdq_item *item) if (o == NULL) goto out; if (idx == -1) { - if (oo == global_options || + if (*name == '@') + options_remove(o); + else if (oo == global_options || oo == global_s_options || oo == global_w_options) options_default(oo, options_table_entry(o)); |