svoid installWindowResizeDraggerOnBorder(JComponent c) {
  if (c != null) swing { new WindowResizeDragger(c); }
}