replace old hotkey_command in add_wml_hotkey instead of doing nothing.