Searched refs:e_plugin_ui_disable_manager (Results 1 – 3 of 3) sorted by relevance
74 void e_plugin_ui_disable_manager (GtkUIManager *ui_manager,
604 e_plugin_ui_disable_manager (GtkUIManager *ui_manager, in e_plugin_ui_disable_manager() function
723 e_plugin_ui_disable_manager (ui_manager, id); in shell_view_toggled()