Shell: Better width calculation for tabs
The old behavoir has the following problems:
- the avaible space is not usefully distributed between tabs
- the minimal width is too small
Instead,
- all tabs have the same width
- the minimum size is larger
The old behavoir has the following problems:
Instead,