(value: string, show?: boolean)
| 10 | } |
| 11 | |
| 12 | public static appendLine(value: string, show?: boolean) { |
| 13 | if (show) OutputChannel.outputChannel.show(true); |
| 14 | OutputChannel.outputChannel.appendLine(value); |
| 15 | } |
| 16 | |
| 17 | public static displayResults(uri: vscode.Uri, title: string, res: QueryResults[], showInCurrentPanel: boolean = false): void { |
| 18 | let viewColumn = OutputChannel.getViewColumn(); |