void activate_item(GtkWidget menu_item, bool force_deactivate);