Skip to content

Add SDK status bar item#152

Merged
aahrun merged 5 commits intomainfrom
sdk-status-bar
May 5, 2026
Merged

Add SDK status bar item#152
aahrun merged 5 commits intomainfrom
sdk-status-bar

Conversation

@aahrun
Copy link
Copy Markdown
Collaborator

@aahrun aahrun commented May 4, 2026

Add a status bar item to display Mojo SDK detection state to the user, displays only when a .mojo file is open, or if the workspace includes a .mojo file. Status bar shows the detected SDK version and kind, or a clickable warning if no SDK was found.

The status bar makes SDK detection issues more visible to the user, improving upon previous silent failures.

mojo-sdk-status-pixi New status bar item with SDK detected in pixi environment mojo-sdk-status-nosdk New status bar item with no SDK detected

aahrun added 5 commits May 4, 2026 13:34
Add a status bar item to display Mojo SDK detection state to the user, displays
only when a .mojo file is open, or if the workspace includes a .mojo file.
Status bar shows the detected SDK version and kind, or a clickable warning if
no SDK was found.

The status bar makes SDK detection issues more visible to the user, improving
upon previous silent failures.
@aahrun aahrun merged commit 967a72e into main May 5, 2026
6 checks passed
@aahrun aahrun deleted the sdk-status-bar branch May 5, 2026 14:36
@github-actions github-actions Bot locked and limited conversation to collaborators May 5, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants