Hi David,
Thanks for being a customer! Good observation & ty for the suggestion.
Manually setting tab widths would likely be a little cumbersome to manage, but having an option to make tab widths proportional to their titles seems pretty immediately intuitive.
"What proportion" might be tricky, and adjustment we make internally or other unexpected font scenario changes etc could definitely mix that up, causing this option to somewhat backfire. But, nonetheless. Your thoughts on whether this would scratch the itch or if that might not seem advisable? (And/or, what 'manual setting' techniques might seem advisable, short of allowing outright mouse-resizing?)