Heh, I don't want to do all the work.
It's possible, you add new 'change' events for input[type=radio] and
write something like:
// reset all the radio buttons to off (you can add a name from
// e.target.get('name') but i'll leave that up to you
//
$$('input[type=radio]).set('defaultCheckbox', 'false');
// set the selected one to true
//
e.target.set('defaultCheckbox', 'true');
then in the " DUMP " you would add three new replaces:
html = html.replace(/checked/igm, ''); // Turn off all checked
html = html.replace('defaultCheckbox="false"', ''); // Discard all
defaultChecked="false"
html = html.replace('defaultCheckbox="true"', 'checked'); // Turn these
into checked
and voila you have radio button support.
