Patch #1475297 makes the side tab width configurable. I don't like the
idea of adding a pref for that. I'd rather we find a number that works
better for people with lower resolution screens, or we find a better
algorithm. The submitter says he uses 10 as the value, instead of 18.
I don't use side tabs. For those of you that do, how does a value of 10
look? I'm thinking that might be a bit too small and maybe we could
compromise somewhere in the middle.
The patch tracker URL: