[ros-diffs] [gschneider] 51795: [charmap] Carlo Bramini (carlo dot bramix at libero dot it): - Fix font zoom when scrolling and changing fonts - Optimize font zoom drawing See issue #3500 for more details.