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