Updating of the session switcher when saving session.
Authored by: bruno.herbelin@gmail.com 2014-12-21
Parent: [r959]
Child: [r961]