The local value of option was not copied to the top-level “options_” structure, as it is done for “nograph” and “nodisplay”.
(cherry picked from commit 3f674c1a)
mentioned in commit 9429c7e9
merged