extensions: add a display name field (#1759)

2026-01-18 13:54:23 +01:00 · 2025-03-19 15:42:57 -04:00
parent 15f6973bcf
commit 70efaed793
14 changed files with 124 additions and 11 deletions
--- a/ui/desktop/src/api/types.gen.ts
+++ b/ui/desktop/src/api/types.gen.ts
@@ -43,6 +43,7 @@ export type ExtensionConfig = {
    timeout?: number | null;
    type: 'stdio';
 } | {
+    display_name?: string | null;
    /**
     * The name used to identify this extension
     */