nixvim docs

plugins.lean.settings

Options provided to the require('lean').setup function.

Type: attribute set of anything

Default: { }

Example:

{
  settings = {
    abbreviations = {
      enable = true;
      extra = {
        wknight = "♘";
      };
    };
    ft = {
      default = "lean";
      nomodifiable = [
        "_target"
      ];
    };
    infoview = {
      horizontal_position = "top";
      indicators = "always";
      separate_tab = true;
    };
    lsp = {
      enable = true;
    };
    mappings = false;
    progress_bars = {
      enable = false;
    };
    stderr = {
      on_lines = {
        __raw = "function(lines) vim.notify(lines) end";
      };
    };
  };
}

Declared by:

• <nixvim/plugins/by-name/lean>

plugins.lean.settings.mappings

Whether to enable suggested mappings.

Type: null or boolean or raw lua code

Default: null

Plugin default: false

Declared by:

• <nixvim/plugins/by-name/lean>