GtkSource.View.set_mark_attributes – gtksourceview-5 Reference Manual

set_mark_attributes

Description:

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

Sets attributes and priority for the category.

Parameters:

this	a View.
category	the category.
attributes	mark attributes.
priority	priority of the category.

2022 vala-language.org