svoid setRadioButtonToolTips(ButtonGroup group, IF1<Int, S> toolTip) {
  var buttons = buttonsInGroup(group);
  for i over buttons:
    setToolTip(buttons.get(i), toolTip.get(i));
}