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
.