All three were found by using the app, and all three had been quietly
wrong for a while rather than newly broken.
Fixed
- Renaming a tab now changes the tab. The new name was saved, but
the tab bar rebuilds its label from the connections inside the tab and
only fell back to the tab's own name when the tab had no panes at all- which a connected tab never is. The window title does read the name
directly, so the rename showed up in the taskbar and nowhere else,
which made it look like it had renamed the application. A renamed tab
now keeps its name in the bar, across a restart, and inside a saved
workspace; tabs you have not renamed still follow their connections.
- which a connected tab never is. The window title does read the name
- The last open tabs no longer travel between machines. Which tabs
you have open describes one machine and is meant to stay there, kept
out of the synced profile by name. When split-pane tabs arrived the
snapshot's format changed, and the list of things to keep local was
not updated with it, so since v0.99.0 the open-tab list has been
syncing: pull on another machine and it would arrive with the
first machine's tabs. Nothing failed, which is why it went unnoticed.
The stale copy clears itself the first time you change a tab - your
open tabs are not lost in the process. - Marked hosts stay visible in Ctrl+K. With a full result list, the
row of marked hosts was squeezed down to a couple of pixels while the
footer still offered to connect them, so the only evidence of what you
had marked was the count.