removed ignore_filter_on_hotkey in play_controller.cpp