Hi Matthias, Could you provide a screenshot? I can use the slider and the font size pulldown menu items to change the font size in above view. Maybe also tell what window manager/desktop environment, and using which fonts this happens. Thanks,