static AutoCloseable tempSetFont(Graphics g, Font font) {
  Font oldFont = g.getFont();
  g.setFont(font);
  ret autoCloseable { g.setFont(oldFont); };
}