-
Harald Judt authored
This should make both users of small and big screens happy. Successfully tested with resolutions from 640x480 to 1920x1080, bigger resolutions will very likely cause less trouble. While it is a bit of a compromise and there's certainly room for improvement (anyone wants to volunteer?), it works fine in most cases.
b5d407d7