sclass JAutoWidthHTMLLabel extends JLabel {
  IF0<S> makeContents;
  
  *(IF0<S> *makeContents) {
    topAlignLabel(this);
    onResize(this, r update);
  }
  
  void update swing {
    setText(hhtml(hdiv(unnull(makeContents!), width := getWidth())));
  }
}