static AutoCloseable tempSetFontSize(Graphics g, float size) {
  Font oldFont = g.getFont();
  g.setFont(font.derive(size));
  ret autoCloseable { g.setFont(oldFont); };
}