plugins.marks.signPriority
The sign priority to be used for marks. Can either be a number, in which case the priority applies to all types of marks, or a table with some or all of the following keys:
- lower: sign priority for lowercase marks
- upper: sign priority for uppercase marks
- builtin: sign priority for builtin marks
- bookmark: sign priority for bookmarks
Type: null or unsigned integer, meaning >=0, or (attribute set)
Default:
null
Plugin default: 10
Declared by:
plugins.marks.signPriority.bookmark
Sign priority for bookmarks.
Type: null or (unsigned integer, meaning >=0)
Default:
null
plugins.marks.signPriority.builtin
Sign priority for builtin marks.
Type: null or (unsigned integer, meaning >=0)
Default:
null
plugins.marks.signPriority.lower
Sign priority for lowercase marks.
Type: null or (unsigned integer, meaning >=0)
Default:
null
plugins.marks.signPriority.upper
Sign priority for uppercase marks.
Type: null or (unsigned integer, meaning >=0)
Default:
null