svoid installWindowResizeDraggerOnBorder(JComponent c) {
  onMouseDown(c, event -> new WindowResizeDragger(event));
}