Terminal zoom (CTRL +/-) doesn't zoom by stepping through font-size?
I noticed that the terminal zoom feature scales the glyph rendering, rather than adjusting the font size. Wouldn't it be better to do the latter, or is that useful for certain cases (e.g. scaling bitmap fonts)?