public void Refresh() {
if (options.isRadioGroup.Get() && radioGroup == null) {
radioGroup = new GUIRadioGroup(buttons.ToArray());
} else if (!options.isRadioGroup.Get() && radioGroup != null) {
radioGroup = null;
}
SetButtonPositions(m_prevT);
}