Gtk.SourceView.set_mark_attributes – gtksourceview-3.0 Reference Manual

set_mark_attributes

Description:

public void set_mark_attributes (string category, SourceMarkAttributes attributes, int priority)

Sets attributes and priority for the category.

Parameters:

this

a SourceView.
category

the category.
attributes

mark attributes.
priority

priority of the category.


2022 vala-language.org