module GtkSourceView2_types: sig
.. end
type
source_style_scheme = [ `sourcestylescheme ]
type
source_style_scheme_manager = [ `sourcestyleschememanager ]
type
source_completion_info = [ `bin | `container | `gtk | `sourcecompletioninfo | `widget | `window ]
type
source_completion_provider = [ `sourcecompletionprovider ]
type
source_completion_proposal = [ `sourcecompletionproposal ]
type
source_completion_activation = [ `sourcecompletionactivation ]
type
source_completion_context = [ `sourcecompletioncontext ]
type
source_completion = [ `sourcecompletion ]
type
source_view = [ `container | `gtk | `sourceview | `textview | `widget ]
type
source_mark = [ `sourcemark ]
type
source_buffer = [ `sourcebuffer | `textbuffer ]
type
source_language = [ `sourcelanguage ]
type
source_language_manager = [ `sourcelanguagemanager ]
type
source_undo_manager = [ `sourceundomanager ]