Skip to content

Conversation

@ammar-agent
Copy link
Collaborator

Replace the dropdown runtime selector with three clickable icons:

  • Local (folder icon) - Work directly in project directory
  • Worktree (git branch icon) - Isolated git worktree in ~/.mux/src
  • SSH (server icon) - Remote clone on SSH host

Behavior

  • Selected icon shows active styling (brighter colors matching RuntimeBadge)
  • Hover tooltips show runtime name and description
  • Clicking an icon sets it as the project default (persisted)
  • Worktree is the default if no selection has been made

Implementation

  • Extract shared RuntimeIcons component (used by both RuntimeIconSelector and RuntimeBadge)
  • Simplify persistence: single default runtime per project (no more 'last used' vs 'explicit default')
  • Slash command runtime overrides are one-time and don't change the default

Generated with mux

Replace dropdown selector with three clickable icons (Local, Worktree, SSH):
- Selected icon shows active styling (brighter colors)
- Tooltips show runtime name and description
- Clicking an icon sets it as the project default

Simplify runtime persistence:
- Single default runtime per project (worktree by default)
- Default can only be changed via icon selector
- Slash command runtime overrides are one-time, don't change default

Extract shared RuntimeIcons component for reuse with RuntimeBadge.
- Reduce icon size from 14px to 10px (default) to match RuntimeBadge
- Reduce button padding from p-1.5 to p-1
- Add interactive tooltip with 'Default for project' checkbox
- Separate current selection (non-persistent) from project default (persistent)
- Clicking icon selects for this workspace, checkbox persists as default
- Reuse existing 'runtime:{projectPath}' storage key for compatibility
@ammar-agent ammar-agent force-pushed the runtime-selector-icon-tooltips branch from 044e0a0 to 95cf6f0 Compare December 3, 2025 18:24
@ammario ammario merged commit b709eb3 into main Dec 3, 2025
16 checks passed
@ammario ammario deleted the runtime-selector-icon-tooltips branch December 3, 2025 18: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.

2 participants