Once plugin customization lands, I was thinking that tab bar customization would be a pretty nice feature. Tmux currently lets you configure tab titles. Something like:
This would allow people to customize things like turning collapsed tabs on/off, or if they just want a simple character displaying that there's collapsed tabs, what info to display in tab titles, which separator to use.
Simplified-ui and default would then just be specific configurations.
I don't know what should happen if someone renames a tab however. Maybe a boolean variable in TabInfo that notes that user has renamed a tab and use that as title instead of the customized string.
EDIT: Actually tab name in TabInfo would be by default an empty string, and if it's not then we know it has been renamed. The config for default would be title: "Tab #{index}"
Once plugin customization lands, I was thinking that tab bar customization would be a pretty nice feature. Tmux currently lets you configure tab titles. Something like:
This would allow people to customize things like turning collapsed tabs on/off, or if they just want a simple character displaying that there's collapsed tabs, what info to display in tab titles, which separator to use.
Simplified-ui and default would then just be specific configurations.
I don't know what should happen if someone renames a tab however. Maybe a boolean variable in
TabInfo
that notes that user has renamed a tab and use that as title instead of the customized string.EDIT: Actually tab name in TabInfo would be by default an empty string, and if it's not then we know it has been renamed. The config for default would be
title: "Tab #{index}"