workspace.notifyScopeLeft(); workspace.destroyWorkspace(true);
.notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); } else {
workspace.notifyScopeLeft(); workspace.destroyWorkspace(true);
.notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); .notifyScopeLeft(); } else {