removed ignore_filter_on_hotkey in gamestatus.hpp