static JLabel dm_calculatedLabel_noAutoTooltip(IF0<O> calc) {
  JLabel l = dm_calculatedLabel(calc);
  setOpt(l, autoToolTip := false);
  ret l;
}