From 0c91f963e925d06980dc20859575cf50a79aa363 Mon Sep 17 00:00:00 2001
From: Fendor <power.walross@gmail.com>
Date: Sat, 2 Dec 2023 12:18:59 +0100
Subject: [PATCH] Add stan plugin option

---
 package.json | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/package.json b/package.json
index d5b8441b..b801c2da 100644
--- a/package.json
+++ b/package.json
@@ -471,6 +471,12 @@
           "scope": "resource",
           "type": "boolean"
         },
+        "haskell.plugin.stan.globalOn": {
+          "default": false,
+          "description": "Enables stan plugin",
+          "scope": "resource",
+          "type": "boolean"
+        },
         "haskell.plugin.tactics.codeActionsOn": {
           "default": true,
           "description": "Enables tactics code actions",
@@ -602,4 +608,4 @@
     "vscode-languageclient": "^7.0.0",
     "which": "^4.0.0"
   }
-}
\ No newline at end of file
+}