gtksource.mark
Module for Mark class
Types 3
Mark object for gtksource.buffer.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.Marks 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 gtksource.view.View.showLineMarks 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.Fluent builder implementation template for gtksource.mark.Mark
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...Fluent builder for gtksource.mark.Mark