f79be901_User_Guide__Configuration__Description
[Option] Workspace10Key [Default Value] None [Description] 
Switches to workspace 10, creating it if it does not exist.
User Guide: Configuration
Description