Repository navigation
Replies: 5 comments 2 replies
|
It's also would be nice for workspaces. |
|
Hitting this too, plus a knock-on effect I don't see mentioned in the thread. herdr 0.8.0, one workspace, six tabs, five renamed to whatever the agent inside is working on. ws.tab_display_name(tab_idx).unwrap_or_else(|| (tab_idx + 1).to_string())Renaming doesn't hide the number so much as consume it. Six tabs in, The knock-on: the sidebar's One workaround I considered and rejected: baking the number into the name ( |
|
+1 for this feature |
|
|
|
Another data point on where this should read the number from, since the thread has two candidate sources. The socket API already carries both, separately, which supports this being display-only. But So Still absent in 0.9.0: the v0.9.0 config reference has no tab label key at all. Environment: herdr 0.9.0, macOS, stable channel. |
Uh oh!
There was an error while loading. Please reload this page.
Idea
A config option (e.g.
[ui] show_tab_numbers = true) that renders the tab's number next to its title in the tab bar, e.g.2 · Research, including for renamed tabs.Current behavior
Auto-named tabs display their number as the label, but once a tab is renamed the number is no longer visible anywhere in the tab bar.
Why
Indexed tab switching (
switch_tab = "ctrl+alt+1..9"and similar) is much more useful when the target number is visible at a glance. Today you either keep auto-named tabs (numbers but no titles) or named tabs (titles but no numbers).Workaround today
A small plugin subscribed to
tab.created/closed/moved/renamedthat rewrites labels toN · titleviaherdr tab rename. Works, but it mutates user-visible labels and fights manual renames — a display-layer toggle would be cleaner.(Originally filed as #1380, closed as feature requests belong here.)
All reactions