Rename ID => identity

Co-authored-by: Mark Sujew <[email protected]>
eclipse-theia · Feb 1, 2023 · 89b4bfa · 89b4bfa
1 parent a85241b
commit 89b4bfa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/plugin-ext/src/plugin/known-commands.ts b/packages/plugin-ext/src/plugin/known-commands.ts
@@ -66,7 +66,7 @@ export namespace KnownCommands {
     };
 
     // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    const ID = (args: any[]) => args;
+    const identity = (args: any[]) => args;
 
     mappings['editor.action.select.all'] = ['editor.action.select.all', CONVERT_VSCODE_TO_MONACO];
     mappings['editor.action.toggleHighContrast'] = ['editor.action.toggleHighContrast', CONVERT_VSCODE_TO_MONACO];