nixvim docs

plugins.lean.progressBars.enable

Whether to enable the progress bars.

Plugin default: true

Type: null or boolean or raw lua code

Default: null

Declared by:

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

plugins.lean.progressBars.priority

Use a different priority for the signs.

Plugin default: 10

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

Default: null

Declared by:

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