Do not try to set default value on user options (they don't have one),

from Charles Howard in GitHub issue 1161.
pull/1247/head
nicm 2017-12-22 10:18:51 +00:00
parent 5c82432200
commit 7ba5ad4cfb
1 changed files with 3 additions and 1 deletions

View File

@ -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));