Respect editorconfig indent size and eol

package.json

@@ -285,7 +285,8 @@
         "pokey.parse-tree"
     ],
     "dependencies": {
-        "ignore": "^5.2.4"
+        "ignore": "^5.2.4",
+        "editorconfig": "^2.0.0"
     },
     "devDependencies": {
         "@types/glob": "^8.1.0",

src/extension.ts

@@ -3,7 +3,6 @@ import { registerCommands } from "./commands/registerCommands";
 import { registerLanguageCodeActions } from "./language/registerLanguageCodeActions";
 import { registerLanguageDefinitions } from "./language/registerLanguageDefinitions";
 import { registerLanguageFormatter } from "./language/registerLanguageFormatter";
-import { registerStateUpdater } from "./state";
 import { createTabView } from "./tabView";
 import {
     getCommandServerExtension,
@@ -34,7 +33,6 @@ async function activateExtension(context: vscode.ExtensionContext): Promise<void
         registerLanguageDefinitions(),
         registerLanguageCodeActions(parseTreeExtension),
         registerLanguageFormatter(parseTreeExtension),
-        createTabView(),
-        isTesting ? vscode.Disposable.from() : registerStateUpdater()
+        createTabView()
     );
 }

src/language/TreeSitterFormatter.ts

@@ -133,6 +133,7 @@ export class TreeSitterFormatter implements LanguageFormatterTree {
                 return ` ${node.text}`;
 
             case "#":
+            case "_":
             case "predicate_type":
             case "identifier":
             case "quantifier":

src/language/registerLanguageFormatter.ts

@@ -1,3 +1,4 @@
+import * as editorconfig from "editorconfig";
 import {
     Disposable,
     EndOfLine,
@@ -55,8 +56,42 @@ function provideDocumentFormattingEditsForText(
 }
 
 function parseOptions(document: TextDocument, options: FormattingOptions): [string, string] {
-    const indentation = options.insertSpaces ? new Array(options.tabSize).fill(" ").join("") : "\t";
-    const eol = document.eol === EndOfLine.LF ? "\n" : "\r\n";
+    const config = editorconfig.parseSync(document.uri.fsPath);
+
+    const insertSpaces = (() => {
+        switch (config.indent_style) {
+            case "space":
+                return true;
+            case "tab":
+                return false;
+            default:
+                return options.insertSpaces;
+        }
+    })();
+
+    const tabSize = (() => {
+        if (typeof config.indent_size === "number") {
+            return config.indent_size;
+        }
+        if (config.indent_size === "tab" && typeof config.tab_width === "number") {
+            return config.tab_width;
+        }
+        return options.tabSize;
+    })();
+
+    const indentation = insertSpaces ? new Array(tabSize).fill(" ").join("") : "\t";
+
+    const eol = (() => {
+        switch (config.end_of_line) {
+            case "lf":
+                return "\n";
+            case "crlf":
+                return "\r\n";
+            default:
+                return document.eol === EndOfLine.LF ? "\n" : "\r\n";
+        }
+    })();
+
     return [indentation, eol];
 }