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