Go to page content
Go to main menu
Go to the search field
GNOME.org
About
Users
Administrators
Developers
Search:
Others
GtkSourceUndoManager
— Undo manager interface for GtkSourceView
GtkSourceUtils
— Utilities functions
