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)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.