* Add maximum size to tabs in options menu.
* Simplify squash ratio computation.
* Allow room for less padding if the text can't fit to the fixed width.
* Stretch every tab instead of individual ones.
---------
Co-authored-by: Skyth <19259897+blueskythlikesclouds@users.noreply.github.com>