mirror of
https://github.com/rkd77/elinks.git
synced 2024-12-04 14:46:47 -05:00
Mark option changed in "File extensions -> Add".
Previously, file extensions added or modified via the menu did not get saved to elinks.conf when config.saving_style was 3 (the default). This patch makes the file-extension dialog box call option_changed, which then sets OPT_TOUCHED, so that the option appears modified in the option manager and will be saved. Reported and patch reviewed by Witold Filipczyk.
This commit is contained in:
parent
0c9c7770b7
commit
4d06362a50
@ -91,6 +91,7 @@ add_mime_extension(void *data)
|
|||||||
|
|
||||||
really_del_ext(ext->ext_orig); /* ..or rename ;) */
|
really_del_ext(ext->ext_orig); /* ..or rename ;) */
|
||||||
safe_strncpy(get_opt_str(name.source), ext->ct, MAX_STR_LEN);
|
safe_strncpy(get_opt_str(name.source), ext->ct, MAX_STR_LEN);
|
||||||
|
option_changed(NULL, get_opt_rec(config_options, name.source));
|
||||||
done_string(&name);
|
done_string(&name);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user