gtksourceview.SourceMarker — Marker object for gtksourceview.SourceView
| class gtksourceview.SourceMarker(gtk.TextMark): | 
    gtksourceview.SourceMarker(| Returns : | a new gtksourceview.SourceMarker. | 
    Creates a new gtksourceview.SourceMarker object.
  
    def set_marker_type(type)| 
 | the type of marker. | 
      The set_marker_type() method sets the type of marker to the value of type.
	  
    def get_marker_type()| Returns : | the marker type. | 
      The get_marker_type() method gets the marker type of this marker.
	  
    def get_line()| Returns : | the line number. | 
      The get_line() method gets the line number of this marker.
	  
    def get_name()| Returns : | the name. | 
      The get_name() method gets the name of this marker.
	  
    def get_buffer()| Returns : | the gtksourceview.SourceBuffer. | 
      The get_buffer() method gets the buffer associated with this marker.
	  
    def next()| Returns : | a gtksourceview.SourceMarker. | 
      The next() method gets the next marker after marker.
	  
    def prev()| Returns : | a gtksourceview.SourceMarker. | 
      The prev() method gets the previous marker before marker.