Merge pull request #1015 from Durbatuluk1701/indentation_fixes

Change Language Config to Fix Indents

Author: rtetley

Diff for: client/coq.configuration.json

@@ -47,7 +47,7 @@
         "extensions": [
           ".v"
         ],
-        "configuration": "./coq.configuration.json",
+        "configuration": "./syntax/coq.language-configuration.json",
         "icon": {
           "light": "./assets/logo.png",
           "dark": "./assets/logo.png"
@@ -62,7 +62,7 @@
         "extensions": [
           "_CoqProject"
         ],
-        "configuration": "./coq-project.configuration.json",
+        "configuration": "./syntax/coq-project.language-configuration.json",
         "icon": {
           "light": "./assets/logo.png",
           "dark": "./assets/logo.png"

Diff for: client/package.json

@@ -0,0 +1,53 @@
+{
+    "comments": {
+        "blockComment": ["(*", "*)"]
+    },
+    "brackets": [
+        ["{", "}"],
+        ["[", "]"],
+        ["{|", "|}"],
+        ["(", ")"]
+    ],
+    "colorizedBracketPairs": [
+        ["{", "}"],
+        ["[", "]"],
+        ["(", ")"],
+        ["{|", "|}"]
+    ],
+    "autoClosingPairs": [
+        {
+            "open": "{",
+            "close": "}"
+        },
+        {
+            "open": "[",
+            "close": "]"
+        },
+        {
+            "open": "(",
+            "close": ")"
+        },
+        {
+            "open": "(*",
+            "close": "*"
+        },
+        {
+            "open": "{|",
+            "close": "|"
+        }
+    ],
+    // This allows for VSCode to suggest better intellisense hints (especially for definition names that include a "'" in them)
+    "wordPattern": "(_|[a-zA-Z\\p{L}])([a-zA-Z\\p{L}\\d'_])*",
+    "indentationRules": {
+        /* Increase next lines indentation if:
+         * We are a Section, Module Type, or Module opening
+         * We are a Proof. command without Show before it
+         */
+        "increaseIndentPattern": "((Section|Module\\s+Type|Module)\\s+(_|[a-zA-Z\\p{L}])([a-zA-Z\\p{L}\\d'_])*)|((((?<!Show\\s)Proof))\\.)",
+        /* Decrease the current lines indentation if:
+         * We are a Section, Module Type, or Module ending
+         * <Whitespace>*<Keywords>.<Whitespace>*
+         */
+        "decreaseIndentPattern": "^\\s*(End\\s+(_|[a-zA-Z\\p{L}])([a-zA-Z\\p{L}\\d'_])*)|(Qed|Admitted|Abort)\\.\\s*$"
+    }
+}