Save state of exclusive display mode of WorkspaceManager in session
file.
Authored by: brunoherbelin 2018-03-30
Parent: [r1666]
Child: [r1668]