GtkSourceBuffer
Text buffer object for #GtkSourceView
The #GtkSourceBuffer object is the model for #GtkSourceView widgets.
It extends the #GtkTextBuffer object by adding features necessary to
display and edit source code: syntax highlighting, bracket matching
and markers. It also implements support for undo/redo operations.
To create a #GtkSourceBuffer use gtk_source_buffer_new() or
gtk_source_buffer_new_with_language(). The second form is just a
convenience function which allows you to initially set a
#GtkSourceLanguage.
By default highlighting is enabled, but you can disable it with
gtk_source_buffer_set_highlight(). This can be useful if you're not
using #GtkSourceLanguage objects to set the highlighting patterns, and
instead you're manually adding #GtkSourceTag objects to the buffer's
tag table.
There is an introduction document
describing the basic concepts of the buffer/view interactions.
Check #GtkTextBuffer for information about the base buffer; and
#GtkSourceView for examples on setting up the buffer to be displayed
in a view widget.
Emitted whenever there is a change in the buffer's ability to redo an
operation.
@sourcebuffer: the object which received the signal.
@arg1: TRUE if the buffer can now perform an redo.
Emitted whenever there is a change in the buffer's ability to undo an
operation.
@sourcebuffer: the object which received the signal.
@arg1: TRUE if the buffer can now perform an undo.
Emitted whenever the syntax highlighting information has been updated,
so that views can request a redraw if the region changed is visible.
Usually only view widgets displaying this buffer will be interested in
this signal.
@sourcebuffer: the object which received the signal.
@arg1: #GtkTextIter at the start of the updated region.
@arg2: #GtkTextIter at the end of the updated region.
Emitted whenever a marker of @sourcebuffer has changed and needs to be
redisplayed by the view. A change in a marker's type or location can
trigger this signal.
Note that moving a marker causes the emission of this signal twice:
one for the old location and one for the new.
@sourcebuffer: the object which received the signal.
@arg1: #GtkTextIter at the location where the change occurred.
@table:
@Returns:
@language:
@Returns:
@buffer:
@Returns:
@buffer:
@check_brackets:
@source_buffer:
@style:
@buffer:
@Returns:
@buffer:
@highlight:
@buffer:
@Returns:
@buffer:
@max_undo_levels:
@buffer:
@Returns:
@buffer:
@language:
@buffer:
@Returns:
@buffer:
@escape_char:
@buffer:
@Returns:
@buffer:
@Returns:
@buffer:
@buffer:
@buffer:
@buffer:
@buffer:
@name:
@type:
@where:
@Returns:
@buffer:
@marker:
@where:
@buffer:
@marker:
@buffer:
@name:
@Returns:
@buffer:
@begin:
@end:
@Returns:
@buffer:
@Returns:
@buffer:
@Returns:
@buffer:
@iter:
@marker:
@buffer:
@iter:
@Returns:
@buffer:
@iter:
@Returns: