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).
RMS: Fix menu dropdowns.
Make budget virtual fields lazy (optimize DRRPP Project Search Page).
Integrate S3PivotTable in data views framework alongside S3DataTable and
S3DataList, abolish separate S3ContingencyTable (cleanup to follow)
Fix for long-type record IDs in current web2py.
Fix unit test for latest DAL interpretation of .contains()
Fixes+optimization.
IFRC fixes
Merge branch 'master' of git://github.com/nursix/eden
Partial merge of Michael's DRRPP work, add deduplicators for
project_hazard & project_theme link tables (not called for nested
resources yet)
Cleanups.
Merge branch 'master' of git://github.com/flavour/eden
Bug fixes.
done enhancement as given in TICKET #1191

some minor changes