From 3e47c96445e6baa448707ff3456ed09da166b6fa Mon Sep 17 00:00:00 2001 From: meganrogge Date: Tue, 15 Mar 2022 10:31:01 -0400 Subject: [PATCH] get demo to work the right way --- demo/client.ts | 1 + src/browser/Terminal.ts | 6 +++--- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/demo/client.ts b/demo/client.ts index f6223f2c..e1347e3d 100644 --- a/demo/client.ts +++ b/demo/client.ts @@ -553,6 +553,7 @@ function addDecoration() { } function addOverviewRuler() { + term.options['overviewRulerWidth'] = 15; const canvas = term.registerDecoration({marker: term.addMarker(1), overviewRulerItemColor: 'red'}); term.registerDecoration({marker: term.addMarker(3), overviewRulerItemColor: 'green'}); term.registerDecoration({marker: term.addMarker(5), overviewRulerItemColor: 'blue'}); diff --git a/src/browser/Terminal.ts b/src/browser/Terminal.ts index 6d0aabb1..c2fb1500 100644 --- a/src/browser/Terminal.ts +++ b/src/browser/Terminal.ts @@ -604,9 +604,9 @@ export class Terminal extends CoreTerminal implements ITerminal { this._accessibilityManager = new AccessibilityManager(this, this._renderService); } - // if (this.options.overviewRulerWidth) { - this._overviewRulerRenderer = this._instantiationService.createInstance(OverviewRulerRenderer, this._viewportElement, this.screenElement); - // } + if (this.options.overviewRulerWidth) { + this._overviewRulerRenderer = this._instantiationService.createInstance(OverviewRulerRenderer, this._viewportElement, this.screenElement); + } this.optionsService.onOptionChange(() => { if (!this._overviewRulerRenderer && this.options.overviewRulerWidth && this._viewportElement && this.screenElement) { this._overviewRulerRenderer = this._instantiationService.createInstance(OverviewRulerRenderer, this._viewportElement, this.screenElement);