From fe585645532ec9802f0908119ba8d0bc6287cbe4 Mon Sep 17 00:00:00 2001 From: isidor Date: Mon, 29 Feb 2016 11:37:10 +0100 Subject: [PATCH] output panel does not support folding --- src/vs/workbench/parts/output/browser/outputPanel.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vs/workbench/parts/output/browser/outputPanel.ts b/src/vs/workbench/parts/output/browser/outputPanel.ts index 907d9ec0871..36f8f01ef08 100644 --- a/src/vs/workbench/parts/output/browser/outputPanel.ts +++ b/src/vs/workbench/parts/output/browser/outputPanel.ts @@ -81,6 +81,7 @@ export class OutputPanel extends StringEditor { options.glyphMargin = false; options.lineDecorationsWidth = 20; options.rulers = []; + options.folding = false; let channel = this.outputService.getActiveChannel(); options.ariaLabel = channel ? nls.localize('outputPanelWithInputAriaLabel', "{0}, Output panel", channel) : nls.localize('outputPanelAriaLabel', "Output panel");