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)
commit700dc3cf050893acd234a74e617ff2e4b2082f31
tree7b37a13d25c92c6da3963143048c97d3e8d582eb
parent218a175db8e7a43cad9073770ebdb24a7bdc64e8
gui: Fix config file reloading.

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".
gui.c