More specific tab stretching in preferences

Fixes #346 (closed) .

Decided to fix it because I might want to add tabs to the Window tab after all in !262 . Looks identical to me, but also works if I start adding more than 9 tabs.