declare remove_wml_hotkey in hotkeys.hpp

This commit is contained in:
gfgtdf 2013-11-16 17:21:02 +01:00
parent 7f86b055bb
commit 6e7302d802

View File

@ -362,6 +362,9 @@ void add_wml_hotkey(const std::string& id, const t_string& description, const co
/// deletes all wml hotkeys, should be called after a game has ended
void delete_all_wml_hotkeys();
///removes a wml hotkey with the given id, returns true if the deletion was successful
bool remove_wml_hotkey(const std::string& id);
/// returns the hotkey_command that is treated as null.
hotkey_command& get_hotkey_null();