class source_marker :GtkSourceView_types.source_marker Gtk.obj ->
object
..end
method as_source_marker : GtkSourceView_types.source_marker Gtk.obj
method get_buffer : source_buffer
method get_line : int
method get_name : string
method get_type : string
method next : source_marker
method prev : source_marker
method set_type : string -> unit