You are reading a single comment by @Gordon and its replies. Click here to read the full conversation.
  • Yes, this sounds like the new vector font...

    @NebbishHacker any strong feelings about this? I think it makes sense to keep the line height the same as the vector font height, so I guess we should just tweak the font size down slightly?

  • Currently the font size accurately represents the height of letters like A, but it doesn't take into account accented characters (like À) or descenders (like j). Accents and descenders both currently protrude by about 1/4 of the font height, so the actual maximum height of a line of text is 1.5 times what you might expect.

    For some stuff I'm currently working on it would be convenient if g.clearRect(x, y, x+g.stringWidth(text), y+g.getFontHeight()) was always guaranteed to cover a single line drawn via g.drawString(text), which isn't currently the case.

    Overall, though, I don't have very strong feelings about whether we should tweak the font size.

About

Avatar for Gordon @Gordon started