workspace property

UserWorkspace workspace
getter/setter pair

Implementation

UserWorkspace workspace;