commit c5893b7c5ef15676396a42222a91d2064776b779
author Michael Gruenewald <michaelgr@osdyne.com> Mon Oct 13 14:45:01 2025 +0200
committer Michael Gruenewald <michaelgr@osdyne.com> Mon Oct 13 15:02:45 2025 +0200
tree 59f03192d888b92427b59292748efde2d83ea04c
parent ec452118231c48694ec2bfd3db74c12da688a2fe

Format fixes

editors/code/src/config.ts

diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index b97a47d..c0a1b3f 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -13,7 +13,14 @@
 };
 
 export type ConfigurationTree = { [key: string]: ConfigurationValue };
-export type ConfigurationValue = undefined | null | boolean | number | string | ConfigurationValue[] | ConfigurationTree;
+export type ConfigurationValue =
+    | undefined
+    | null
+    | boolean
+    | number
+    | string
+    | ConfigurationValue[]
+    | ConfigurationTree;
 
 type ShowStatusBar = "always" | "never" | { documentSelector: vscode.DocumentSelector };
 
@@ -34,7 +41,11 @@
 
     constructor(ctx: vscode.ExtensionContext) {
         this.workspaceState = ctx.workspaceState;
-        vscode.workspace.onDidChangeConfiguration(this.onDidChangeConfiguration, this, ctx.subscriptions);
+        vscode.workspace.onDidChangeConfiguration(
+            this.onDidChangeConfiguration,
+            this,
+            ctx.subscriptions,
+        );
         this.refreshLogging();
         this.configureLanguage();
     }
@@ -49,13 +60,19 @@
     /// configuration items overridden by (present) extensions.
     get extensionConfigurations(): Record<string, Record<string, unknown>> {
         return pickBy(
-            this.workspaceState.get<Record<string, ConfigurationTree>>("extensionConfigurations", {}),
+            this.workspaceState.get<Record<string, ConfigurationTree>>(
+                "extensionConfigurations",
+                {},
+            ),
             // ignore configurations from disabled/removed extensions
             (_, extensionId) => vscode.extensions.getExtension(extensionId) !== undefined,
         );
     }
 
-    async addExtensionConfiguration(extensionId: string, configuration: Record<string, unknown>): Promise<void> {
+    async addExtensionConfiguration(
+        extensionId: string,
+        configuration: Record<string, unknown>,
+    ): Promise<void> {
         const oldConfiguration = this.cfg;
 
         const extCfgs = this.extensionConfigurations;
@@ -66,8 +83,11 @@
         const prefix = `${this.rootSection}.`;
         await this.onDidChangeConfiguration({
             affectsConfiguration(section: string, _scope?: vscode.ConfigurationScope): boolean {
-                return section.startsWith(prefix) &&
-                    get(oldConfiguration, section.slice(prefix.length)) !== get(newConfiguration, section.slice(prefix.length));
+                return (
+                    section.startsWith(prefix) &&
+                    get(oldConfiguration, section.slice(prefix.length)) !==
+                        get(newConfiguration, section.slice(prefix.length))
+                );
             },
         });
     }
@@ -224,8 +244,14 @@
         for (const [extensionId, items] of Object.entries(this.extensionConfigurations)) {
             for (const [k, v] of Object.entries(items)) {
                 const i = this.rawCfg.inspect(k);
-                if (i?.workspaceValue !== undefined || i?.workspaceFolderValue !== undefined || i?.globalValue !== undefined) {
-                    log.trace(`Ignoring configuration override for ${k} from extension ${extensionId}`);
+                if (
+                    i?.workspaceValue !== undefined ||
+                    i?.workspaceFolderValue !== undefined ||
+                    i?.globalValue !== undefined
+                ) {
+                    log.trace(
+                        `Ignoring configuration override for ${k} from extension ${extensionId}`,
+                    );
                     continue;
                 }
                 log.trace(`Extension ${extensionId} overrides configuration ${k} to `, v);
@@ -303,7 +329,12 @@
             overrideInLanguage = config.defaultLanguageValue;
             value = config.defaultValue || config.defaultLanguageValue;
         }
-        await this.rawCfg.update("checkOnSave", !(value || false), target || null, overrideInLanguage);
+        await this.rawCfg.update(
+            "checkOnSave",
+            !(value || false),
+            target || null,
+            overrideInLanguage,
+        );
     }
 
     get problemMatcher(): string[] {

editors/code/src/ctx.ts

diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts
index 69703ef..a7b7be0 100644
--- a/editors/code/src/ctx.ts
+++ b/editors/code/src/ctx.ts
@@ -150,7 +150,10 @@
         });
     }
 
-    async addConfiguration(extensionId: string, configuration: Record<string, unknown>): Promise<void> {
+    async addConfiguration(
+        extensionId: string,
+        configuration: Record<string, unknown>,
+    ): Promise<void> {
         await this.config.addExtensionConfiguration(extensionId, configuration);
     }