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.