Merge pull request #382 from haskell/more-config-options

Add rest of hls-1.1.0 config options

Author: jneira

package-lock.json

@@ -83,6 +83,7 @@
         },
         "haskell.completionSnippetsOn": {
           "title": "Completion Snippets",
+          "markdownDeprecationMessage": "**Deprecated**: Please use `#haskell.plugin.ghcide-completions.config.snippetsOn#` instead.",
           "scope": "resource",
           "type": "boolean",
           "default": true,
@@ -218,18 +219,44 @@
           "default": true,
           "description": "Enables wingman (tactic) plugin"
         },
+        "haskell.plugin.tactic.config.features": {
+          "scope": "resource",
+          "type": "string",
+          "default": true,
+          "markdownDescription": "Features set used by wingman (tactic) plugin"
+        },
+        "haskell.plugin.tactics.config.hole_severity": {
+          "enumDescriptions": [
+            "error",
+            "warning",
+            "info",
+            "hint",
+            "none"
+          ],
+          "scope": "resource",
+          "description": "The severity to use when showing hole diagnostics.",
+          "enum": [
+            1,
+            2,
+            3,
+            4,
+            null
+          ],
+          "default": null,
+          "type": "string"
+        },
         "haskell.plugin.tactic.config.max_use_ctor_actions": {
           "title": "Max number of constructors",
           "scope": "resource",
           "type": "integer",
           "default": true,
           "markdownDescription": "Maximum number of `Use constructor <x>` code actions that can appear"
         },
-        "haskell.plugin.tactic.config.features": {
+        "haskell.plugin.tactics.config.timeout_duration": {
+          "markdownDescription": "The timeout for Wingman actions, in seconds",
           "scope": "resource",
-          "type": "string",
-          "default": true,
-          "markdownDescription": "Features set used by wingman (tactic) plugin"
+          "default": 2,
+          "type": "integer"
         },
         "haskell.plugin.pragmas.codeActionsOn": {
           "scope": "resource",
@@ -243,6 +270,18 @@
           "default": true,
           "description": "Enables pragmas completions"
         },
+        "haskell.plugin.ghcide-completions.config.autoExtendOn": {
+          "markdownDescription": "Extends the import list automatically when completing a out-of-scope identifier",
+          "scope": "resource",
+          "default": true,
+          "type": "boolean"
+        },
+        "haskell.plugin.ghcide-completions.config.snippetsOn": {
+          "markdownDescription": "Inserts snippets when using code completions",
+          "scope": "resource",
+          "default": true,
+          "type": "boolean"
+        },
         "haskell.plugin.ghcide-type-lenses.globalOn": {
           "scope": "resource",
           "type": "boolean",
@@ -326,4 +365,4 @@
     "vscode-languageclient": "6.1.3",
     "yauzl": "^2.10.0"
   }
-}
+}