SourceView.getMarkCategoryPriority

Gets the priority which is associated with the given category. Since 2.2

class SourceView
int
getMarkCategoryPriority
(
string category
)

Parameters

category string

a mark category.

Return Value

Type: int

the priority or if category exists but no priority was set, it defaults to 0.

Meta