Merge pull request #188 from getagentseal/feat/menubar-hardening

Harden menubar: refresh loop, concurrency, data sync, edge cases
This commit is contained in:
Resham Joshi 2026-05-01 08:03:03 -07:00 committed by GitHub
commit ffc0e486d3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
10 changed files with 96 additions and 47 deletions

File diff suppressed because one or more lines are too long

View file

@ -249,6 +249,7 @@ export function getShortModelName(model: string): string {
'gpt-5.4-mini': 'GPT-5.4 Mini',
'gpt-5.4': 'GPT-5.4',
'gpt-5.3-codex': 'GPT-5.3 Codex',
'gpt-5.3': 'GPT-5.3',
'gpt-5.2-pro': 'GPT-5.2 Pro',
'gpt-5.2-low': 'GPT-5.2 Low',
'gpt-5.2': 'GPT-5.2',
@ -263,6 +264,9 @@ export function getShortModelName(model: string): string {
'gemini-3-flash-preview': 'Gemini 3 Flash',
'gemini-2.5-pro': 'Gemini 2.5 Pro',
'gemini-2.5-flash': 'Gemini 2.5 Flash',
'deepseek-coder-max': 'DeepSeek Coder Max',
'deepseek-coder': 'DeepSeek Coder',
'deepseek-r1': 'DeepSeek R1',
'o4-mini': 'o4-mini',
'o3': 'o3',
'MiniMax-M2.7-highspeed': 'MiniMax M2.7 Highspeed',