// also works when using centering of the component,
// e.g. through jscroll_center_borderless
svoid onEnclosingScrollPaneResize(JComponent c, Runnable r) {
  new OnEnclosingScrollPaneResize(c, r).install();
}

srecord noeq OnEnclosingScrollPaneResize(JComponent c, Runnable r) {
  settable bool debug;
  ComponentAdapter listener;
  JViewport viewport;
  
  void install {
    if (r == null) ret;
    bindToComponent(c, -> {
      viewport = optCast JViewport(getParent(getParent(c)));
      if (viewport != null) {
        listener = new ComponentAdapter {
          public void componentResized(ComponentEvent e) {
            if (debug) print("Viewport resized");
            pcallF(r);
          }
        };
        viewport.addComponentListener(listener);
        if (debug) print("OnEnclosingScrollPaneResize installed");
      }
    }, -> {
      if (listener != null && viewport != null) {
        viewport.removeComponentListener(listener);
        if (debug) print("OnEnclosingScrollPaneResize removed");
      }
    });
  }
}