feat: added Google Antigravity (#1726)

* feat: added Google Antigravity

* Update types.ts

* Update IdeIcon.tsx
This commit is contained in:
Daniel Ehrhardt
2026-01-14 13:13:21 +01:00
committed by GitHub
parent 7cf83ef5ef
commit 0ccb1ecd0a
3 changed files with 11 additions and 2 deletions

View File

@@ -50,6 +50,7 @@ pub enum EditorType {
IntelliJ, IntelliJ,
Zed, Zed,
Xcode, Xcode,
GoogleAntigravity,
Custom, Custom,
} }
@@ -88,6 +89,7 @@ impl EditorConfig {
EditorType::IntelliJ => "idea", EditorType::IntelliJ => "idea",
EditorType::Zed => "zed", EditorType::Zed => "zed",
EditorType::Xcode => "xed", EditorType::Xcode => "xed",
EditorType::GoogleAntigravity => "antigravity",
EditorType::Custom => { EditorType::Custom => {
// Custom editor - use user-provided command or fallback to VSCode // Custom editor - use user-provided command or fallback to VSCode
self.custom_command.as_deref().unwrap_or("code") self.custom_command.as_deref().unwrap_or("code")
@@ -142,6 +144,7 @@ impl EditorConfig {
EditorType::VsCode => "vscode", EditorType::VsCode => "vscode",
EditorType::Cursor => "cursor", EditorType::Cursor => "cursor",
EditorType::Windsurf => "windsurf", EditorType::Windsurf => "windsurf",
EditorType::GoogleAntigravity => "antigravity",
_ => return None, _ => return None,
}; };
let user_part = self let user_part = self

View File

@@ -33,6 +33,8 @@ export function getIdeName(editorType: EditorType | undefined | null): string {
return 'Xcode'; return 'Xcode';
case EditorType.CUSTOM: case EditorType.CUSTOM:
return 'IDE'; return 'IDE';
case EditorType.GOOGLE_ANTIGRAVITY:
return 'Google Antigravity';
} }
} }
@@ -44,7 +46,11 @@ export function IdeIcon({ editorType, className = 'h-4 w-4' }: IdeIconProps) {
const ideName = getIdeName(editorType); const ideName = getIdeName(editorType);
let ideIconPath = ''; let ideIconPath = '';
if (!editorType || editorType === EditorType.CUSTOM) { if (
!editorType ||
editorType === EditorType.CUSTOM ||
editorType === EditorType.GOOGLE_ANTIGRAVITY
) {
// Generic fallback for other IDEs or no IDE configured // Generic fallback for other IDEs or no IDE configured
return <Code2 className={className} />; return <Code2 className={className} />;
} }

View File

@@ -380,7 +380,7 @@ export enum ThemeMode { LIGHT = "LIGHT", DARK = "DARK", SYSTEM = "SYSTEM" }
export type EditorConfig = { editor_type: EditorType, custom_command: string | null, remote_ssh_host: string | null, remote_ssh_user: string | null, }; export type EditorConfig = { editor_type: EditorType, custom_command: string | null, remote_ssh_host: string | null, remote_ssh_user: string | null, };
export enum EditorType { VS_CODE = "VS_CODE", CURSOR = "CURSOR", WINDSURF = "WINDSURF", INTELLI_J = "INTELLI_J", ZED = "ZED", XCODE = "XCODE", CUSTOM = "CUSTOM" } export enum EditorType { VS_CODE = "VS_CODE", CURSOR = "CURSOR", WINDSURF = "WINDSURF", INTELLI_J = "INTELLI_J", ZED = "ZED", XCODE = "XCODE", GOOGLE_ANTIGRAVITY = "GOOGLE_ANTIGRAVITY", CUSTOM = "CUSTOM" }
export type EditorOpenError = { "type": "executable_not_found", executable: string, editor_type: EditorType, } | { "type": "invalid_command", details: string, editor_type: EditorType, } | { "type": "launch_failed", executable: string, details: string, editor_type: EditorType, }; export type EditorOpenError = { "type": "executable_not_found", executable: string, editor_type: EditorType, } | { "type": "invalid_command", details: string, editor_type: EditorType, } | { "type": "launch_failed", executable: string, details: string, editor_type: EditorType, };