The title of a detail panel (terminal, diff, file, etc.) is only shown in its tab. This means longer titles are truncated. It also means that sometimes a detail panel and its tab are distanced - especially when in a split group.
Add a title bar to the top of every detail panel, showing the same detail as its tab, but without any truncation.
Also show tool buttons to the right side of the new title bar that act upon the panel:
- Split down
- Split right
- Close
Remove the split down and split right buttons from the workroom tab bar, and move the "close all tabs in this workroom" button to the workroom title bar.
The title of a detail panel (terminal, diff, file, etc.) is only shown in its tab. This means longer titles are truncated. It also means that sometimes a detail panel and its tab are distanced - especially when in a split group.
Add a title bar to the top of every detail panel, showing the same detail as its tab, but without any truncation.
Also show tool buttons to the right side of the new title bar that act upon the panel:
Remove the split down and split right buttons from the workroom tab bar, and move the "close all tabs in this workroom" button to the workroom title bar.