gtksource.mark
Module for [Mark] class
Types 3
Mark object for class@Buffer.
A [gtksource.mark.Mark] marks a position in the text where you want to display additional info. It is based on [gtk.text_mark.TextMark] and thus is still valid after the text has changed though its position may change.
[gtksource.mark.Mark]s are organized in categories which you have to set when you create the mark. Each category can have a priority, a pixbuf and other associated attributes. See [gtksource.view.View.setMarkAttributes]. The pixbuf will be displayed in the margin at the line where the mark residents if the property@View:show-line-marks property is set to true. If there are multiple marks in the same line, the pixbufs will be drawn on top of each other. The mark with the highest priority will be drawn on top.
MarkGidBuilder builder()Get builder for [gtksource.mark.Mark] Returns: New builder objectstring category() @propertyGet `category` property. Returns: The category of the [gtksource.mark.Mark], classifies the mark and controls which pixbuf is used and with which priority it is drawn.string getCategory()Returns the mark category. Returns: the category of the #GtkSourceMark.gtksource.mark.Mark next(string category = null)Returns the next [gtksource.mark.Mark] in the buffer or null if the mark was not added to a buffer.gtksource.mark.Mark prev(string category = null)Returns the previous [gtksource.mark.Mark] in the buffer or null if the mark was not added to a buffer.T category(string propval)Set `category` property. Params: propval = The category of the [gtksource.mark.Mark], classifies the mark and controls which pixbuf is used and with which priority it is drawn. Returns: Builder ins...