#9: Added setting for 'reshow menu' to the configuration dialog in General Settings.