Redirecting to fn.gtk_ui_manager_get_type.html...