mirror of
https://github.com/microsoft/vscode.git
synced 2026-07-12 17:48:19 +01:00
output panel does not support folding
This commit is contained in:
@@ -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");
|
||||
|
||||
Reference in New Issue
Block a user