Change in selection management to be compatible with change of
Workspace. Bugfix in change of current source when changing workspace.
Authored by: brunoherbelin 2017-02-14
Parent: [r1349]
Child: [r1351]