Skip to content

Stop advertising a file icon theme from Active Agents#374

Merged
NagyVikt merged 1 commit intomainfrom
agent/codex/active-agents-hide-set-file-icon-theme-2026-04-23-15-27
Apr 23, 2026
Merged

Stop advertising a file icon theme from Active Agents#374
NagyVikt merged 1 commit intomainfrom
agent/codex/active-agents-hide-set-file-icon-theme-2026-04-23-15-27

Conversation

@NagyVikt
Copy link
Copy Markdown
Collaborator

Automated by gx branch finish (PR flow).

The Active Agents companion now leaves file icon theme selection to the workspace and other installed themes, so the extension details page no longer offers Set File Icon Theme. The only code changes are the live/template manifests plus the focused regression that locks this contract.

Constraint: VS Code shows the Set File Icon Theme button whenever the extension contributes iconThemes in its manifest
Rejected: Keep the icon theme contribution and try to hide the button elsewhere | the button is driven by manifest metadata, not extension runtime code
Confidence: high
Scope-risk: narrow
Directive: If the companion should stay out of workspace icon-theme choice, do not reintroduce contributes.iconThemes without explicitly wanting the button back
Tested: node --test test/vscode-active-agents-session-state.test.js test/metadata.test.js; node scripts/install-vscode-active-agents-extension.js; installed manifest version 0.0.14 with iconThemes null
Not-tested: Visual screenshot proof of the extension details page after reload
@NagyVikt NagyVikt merged commit 880743d into main Apr 23, 2026
@NagyVikt NagyVikt deleted the agent/codex/active-agents-hide-set-file-icon-theme-2026-04-23-15-27 branch April 23, 2026 13:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant