Merge pull request #5605 from dotty-staging/worksheet-clarifiy-output

allanrenucci · web-flow · commit 4da13cbb18a4 · 2018-12-13T10:54:01.000+01:00
worsksheet: clarify where the hidden output is
diff --git a/vscode-dotty/src/worksheet.ts b/vscode-dotty/src/worksheet.ts
@@ -156,7 +156,7 @@ class Worksheet implements Disposable {
       hoverMessage: new vscode.MarkdownString().appendCodeblock(runResult)
     }
     const decorationMargin = this.margin - line.text.length
-    const decorationText = resultLines[0] + (resultLines.length > 1 ? `<${resultLines.length - 1} lines hidden>` : "")
+    const decorationText = resultLines[0] + (resultLines.length > 1 ? `<${resultLines.length - 1} lines hidden, hover to see full output>` : "")
     const decorationType = this.createDecoration(decorationMargin, decorationText)
     const decoration = new Decoration(decorationType, decorationOptions)
     this.decorations.push(decoration)

Original file line number	Diff line number	Diff line change
`@@ -156,7 +156,7 @@ class Worksheet implements Disposable {`
`156`	`156`	`hoverMessage: new vscode.MarkdownString().appendCodeblock(runResult)`
`157`	`157`	`}`
`158`	`158`	`const decorationMargin = this.margin - line.text.length`
`159`		- const decorationText = resultLines[0] + (resultLines.length > 1 ? `<${resultLines.length - 1} lines hidden>` : "")
	`159`	+ const decorationText = resultLines[0] + (resultLines.length > 1 ? `<${resultLines.length - 1} lines hidden, hover to see full output>` : "")
`160`	`160`	`const decorationType = this.createDecoration(decorationMargin, decorationText)`
`161`	`161`	`const decoration = new Decoration(decorationType, decorationOptions)`
`162`	`162`	`this.decorations.push(decoration)`