fix ToggleHeaders in settings window

Authored by mvourlakos on Apr 11 2019, 9:08 PM.