GUI improvements under OSX: Mixing view selection of group with CTRL, auto update of session list in switcher
Authored by: bruno.herbelin 2010-10-28
Parent: [r281]
Child: [r283]