Searched refs:_viewerState (Results 1 – 1 of 1) sorted by relevance
197 this._viewerState = { property208 if (!this._viewerState)210 this._textModel.setText(null, this._viewerState.textModelContent);212 this._messages = this._viewerState.messages;213 this._diffLines = this._viewerState.diffLines;216 if (typeof this._viewerState.executionLineNumber === "number") {218 this.setExecutionLine(this._viewerState.executionLineNumber);226 var newBreakpoints = this._viewerState.breakpoints;233 delete this._viewerState;248 if (!this._viewerState) {[all …]