void manager::init() { for (int i = 0; hotkey_list_[i].command; ++i) { hotkeys_.push_back(hotkey_item(hotkey_list_[i].id, hotkey_list_[i].command, "", hotkey_list_[i].hidden, hotkey_list_[i].scope)); } }
void insert_hotkey(int id, const std::string& command, const t_string& tooltip) { std::stringstream err; err << "Duplicate hotkey: "<< id; VALIDATE(hotkeys.find(id) == hotkeys.end(), err.str()); hotkeys.insert(std::make_pair(id, hotkey_item(id, command, tooltip))); }