Add Sessions info to general and workspace pages.

Authored by woltherav on Jun 20 2018, 12:01 PM.

Description

Add Sessions info to general and workspace pages.

Sessions are different from Window Layouts and I didn't realise there
were new options in the settings dialog :D

Details

Committed
woltheravJun 20 2018, 12:01 PM
Parents
R1012:c8193d9deb8f: Merge branch 'master' into draft
Branches
Unknown
Tags
Unknown