static void addFontChangersToTitleMenu(Component c, fO rebuild) {
  final JFrame f = getFrame(c);
  titlePopupMenuItem(f, "Bigger fonts", r {
    swingBiggerFonts(); disposeWindow(f); callF(rebuild);
  });
  titlePopupMenuItem(f, "Smaller fonts", r {
    swingSmallerFonts(); disposeWindow(f); callF(rebuild);
  });
}