gui: Fix config file reloading.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 14 Feb 2015 19:45:29 +0000 (20:45 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 13 Mar 2015 07:58:02 +0000 (08:58 +0100)
Without this, all key-map arguments found in the config file are
appended to the existing ones, duplicating these options in the help
output. Fix this by invalidating the key-map entry prior to the call
to gui_cmdline_parser_config_file().

This bug was present since "day one".


No differences found