Go to page content
Go to main menu
Go to the search field
GNOME.org
About
Users
Administrators
Developers
Search:
Gtk+ Widgets
PeasGtkPluginManager
— Management GUI for plugins.
PeasGtkPluginManagerView
— Management tree view for plugins.