Skip to content

Allow dismissing the no-project banner - #60

Merged
pcvantol merged 1 commit into
mainfrom
codex/dismiss-project-selection-banner
Sep 7, 2026
Merged

Allow dismissing the no-project banner#60
pcvantol merged 1 commit into
mainfrom
codex/dismiss-project-selection-banner

Conversation

@pcvantol

@pcvantol pcvantol commented Sep 7, 2026

Copy link
Copy Markdown
Owner

Adds an accessible close control to the no-project status banner. Dismissing it is remembered in the current browser, while the Console stays unscoped and platform-wide functionality remains unchanged.

@pcvantol
pcvantol merged commit 922b615 into main Sep 7, 2026
8 checks passed
@pcvantol
pcvantol deleted the codex/dismiss-project-selection-banner branch September 7, 2026 05:30
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