Hotkey/number badges, custom workspace icons, and full workspace management (create/rename/delete) directly from settings.
Added
- Quick switcher badges (#116, #137). Each workspace can now show its assigned custom hotkey, or (optionally) a Linear-style number from 1-9 you can press to jump straight to it, right in the quick switcher — replacing the old hover-revealed rename/delete/platform icon row (still reachable via
ctrl ↵rename andshift ⌫delete). A newctrl ,shortcut in the switcher jumps straight to this plugin's own settings tab (#72). - Custom workspace icons (#88). Pick a Lucide icon and color for any workspace from its settings page (with autocomplete and a live preview), shown next to its name in the quick switcher and in place of the default icon in the status bar — both off by default.
- Manage workspaces from settings: rename a workspace directly from its own settings page; create a new, genuinely blank workspace via a "+" button on the Workspaces heading, or the new New empty workspace command, which opens a dialog to set its name, icon, and color up front (#42); delete a workspace from settings, with a warning — and an automatic switch to another workspace — if you're deleting the one you're currently on (#17).
- Renamed the "Per workspace" / "Per mode" settings headings to "Workspaces" / "Modes" for brevity.