( config: ServerConfig, kind: ToolWidgetKind, )
| 124 | } |
| 125 | |
| 126 | function toolWidgetDescriptorMeta( |
| 127 | config: ServerConfig, |
| 128 | kind: ToolWidgetKind, |
| 129 | ): ToolWidgetDescriptorMeta { |
| 130 | if (!shouldAttachWidget(config.widgets, kind)) return { _meta: {} }; |
| 131 | |
| 132 | return { |
| 133 | _meta: { |
| 134 | ui: { |
| 135 | resourceUri: WORKSPACE_APP_URI, |
| 136 | visibility: ["model"], |
| 137 | }, |
| 138 | }, |
| 139 | }; |
| 140 | } |
| 141 | |
| 142 | interface ToolNames { |
| 143 | openWorkspace: "open_workspace"; |
no test coverage detected