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