nixvim docs

plugins.lean.progressBars.enable

Whether to enable the progress bars.

Type: null or boolean or raw lua code

Default: null

Plugin default: true

Declared by:

• <nixvim/plugins/languages/lean.nix>

plugins.lean.progressBars.priority

Use a different priority for the signs.

Type: null or unsigned integer, meaning >=0, or raw lua code

Default: null

Plugin default: 10

Declared by:

• <nixvim/plugins/languages/lean.nix>