worsksheet: clarify where the hidden output is

smarter · smarter · commit 56a737127025 · 2018-12-12T22:43:08.000+01:00
I've had two students ask me about this already, so I guess it's not as
intuitive as I thought :).
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)`