Cascading selection

Here's a patch which adds the following feature to the widget :

Cascading selection

On parent selection, automatically select children if none were selected. Some may then be manually unselected. In the same way, on parent unselection, unselect children if all were selected. This option is only valid if an unlimited number of values can be selected.