Skip to content

Improve scaling of top bar when the window gets horizontally small

Image of what happens:

image

It seems that the text from the hints is squished to multiple lines and the grey boxes scale with that.