Function push

packages/codium/sources/theme/presets.ts:216–221

(entry: ThemeEntry)

    const out: ThemeEntry[] = []
    const seen = new Set<string>()
    const push = (entry: ThemeEntry) => {
        const key = `${entry.variant}:${entry.codeThemeId}`
        if (seen.has(key)) return
        seen.add(key)
        out.push(entry)
    }
    push({ codeThemeId: 'codex', variant: 'light', theme: CODEX_LIGHT_DEFAULT })
    push({ codeThemeId: 'codex', variant: 'dark',  theme: CODEX_DARK_DEFAULT  })
    for (const p of CODEX_THEME_PARTIALS) {