e446d9009f
Registers the Google Antigravity IDE so the workspace Open-in-editor picker detects and launches it (PATH probe for the "antigravity" command), alongside Cursor, VS Code, WebStorm, and Zed. - desktop: add the target to BUILT_IN_EDITOR_TARGETS (kind: editor). - app: add "antigravity" to the known editor-target id set and map its bundled icon. Co-authored-by: Mathias Kurz <mkurz@stamus-networks.com>
17 lines
339 B
TypeScript
17 lines
339 B
TypeScript
export type EditorTargetId = string;
|
|
|
|
const KNOWN_EDITOR_TARGET_IDS: ReadonlySet<string> = new Set([
|
|
"cursor",
|
|
"vscode",
|
|
"webstorm",
|
|
"zed",
|
|
"antigravity",
|
|
"finder",
|
|
"explorer",
|
|
"file-manager",
|
|
]);
|
|
|
|
export function isKnownEditorTargetId(editorId: EditorTargetId): boolean {
|
|
return KNOWN_EDITOR_TARGET_IDS.has(editorId);
|
|
}
|