fWorkspacesViewCount
int32 count = fWorkspacesViewCount;
{ return fWorkspacesViewCount != 0; }
{ fWorkspacesViewCount++; }
{ fWorkspacesViewCount--; }
int32 fWorkspacesViewCount;