Searched refs:defaultWorkspace (Results 1 – 1 of 1) sorted by relevance
21 readonly defaultWorkspace = new Workspace(); property in WorkspaceManagerImpl26 this.defaultWorkspace.title = DEFAULT_WORKSPACE_NAME;27 this.defaultWorkspace.userEditable = false;28 this._currentWorkspace = this.defaultWorkspace;40 this._currentWorkspace = this.defaultWorkspace;49 workspace === this.defaultWorkspace,55 return [this.defaultWorkspace].concat(this._workspaces);