A jQuery UI grouped-checkboxes widget out of a normal SELECT, for use in
filter forms (Python-part follows).
Merge branch 'master' of git://github.com/flavour/eden
S3GroupedOptions widget (using jquery.ui.groupedopts.js) incl.
Ajax-update-capability, +bug fixes
Merge branch 'master' of git://github.com/flavour/eden
Consistent datatable-ID in CRUD.
Add groupedopts.destroy() method.
S3FilterForm: adapt to formstyle (render TABLE only with TRs).