/* Exported interface, documented in cookie_manager.h */ void cookie_manager_keypress(uint32_t key) { treeview_keypress(cm_ctx.tree, key); }
/* Exported interface, documented in global_history.h */ void global_history_keypress(uint32_t key) { treeview_keypress(gh_ctx.tree, key); }