This is in fact a annoying misbehaviour. Fixing the display_horizontal_size bug as Jochen suggests would be highly appreciated!
This is in fact a annoying misbehaviour. Fixing the display_ horizontal_ size bug as Jochen suggests would be highly appreciated!