Workspace shifter is now updated whenever one programatically shifts between workspaces.
Workspace shifter is now updated whenever one programatically shifts between workspaces.

aabadie/medInria-public,aabadie/medInria-public,NicolasSchnitzler/medInria-public,rdebroiz/medInria-public,aabadie/medInria-public,rdebroiz/medInria-public,NicolasSchnitzler/medInria-public,rdebroiz/medInria-public,NicolasSchnitzler/medInria-public