vim: lean

2022-04-06 18:54:01 +02:00 · 2022-04-06 18:54:01 +02:00 · 0a1f7710c1
commit 0a1f7710c1
parent 5be0bb8b83
1 changed files with 1 additions and 2 deletions
--- a/3
+++ b/3
@ -209,7 +209,7 @@ lua <<EOF
    },
    mappings = true,
    infoview = {
-      autoopen = false,
+      -- autoopen = false,
    },
    -- treesitter = {},
    lsp = {
@ -225,7 +225,6 @@ lua <<EOF
      init_options = {
        semanticHighlighting = true,
      },
-      cmd = {"lean", "--server"},
    },
  }