diff --git a/src/vs/editor/contrib/rtv/browser/RTVDisplay.ts b/src/vs/editor/contrib/rtv/browser/RTVDisplay.ts index 11c6ffed228c1..66ad1a3039dc5 100644 --- a/src/vs/editor/contrib/rtv/browser/RTVDisplay.ts +++ b/src/vs/editor/contrib/rtv/browser/RTVDisplay.ts @@ -309,6 +309,10 @@ class RTVOutputDisplayBox { throw new Error('Cannot find Monaco Editor'); } + if (this._outOfDate) { + this.setSpinner(); + } + this._box.style.display = 'inline-block'; this._box.style.opacity = '1'; editor_div.appendChild(this._box); @@ -338,6 +342,15 @@ class RTVOutputDisplayBox { this._outOfDate = true; } + public setSpinner() { + this.setContent( + `
+
+ Loading... +
+
`); + } + public update(outputMsg: string, errorMsg: string, parsedResults: any) { this._outOfDate = false; @@ -2987,6 +3000,7 @@ export class RTVController implements IRTVController { this._eventEmitter.fire(new BoxUpdateEvent(true, false, false)); + this.getOutputBox().outOfDate(); this.hideOutputBox(); const [outputMsg, errorMsg, parsedResult] = await this.runProgram();