From 963ed594591d21bdfa0fa95ae4e61c677d64c4da Mon Sep 17 00:00:00 2001 From: meganrogge Date: Tue, 15 Mar 2022 19:29:33 -0400 Subject: [PATCH] tweak demo --- demo/client.ts | 2 +- src/browser/Decorations/OverviewRulerRenderer.ts | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/demo/client.ts b/demo/client.ts index 3d3a3c3f..bbec94c0 100644 --- a/demo/client.ts +++ b/demo/client.ts @@ -555,7 +555,7 @@ function addDecoration() { } function addOverviewRuler() { - term.options['overviewRulerWidth'] = 12; + term.options['overviewRulerWidth'] = 15; term.registerDecoration({marker: term.addMarker(1), overviewRulerOptions: { color: '#ef2929' }}); term.registerDecoration({marker: term.addMarker(3), overviewRulerOptions: { color: '#8ae234' }}); term.registerDecoration({marker: term.addMarker(5), overviewRulerOptions: { color: '#729fcf' }}); diff --git a/src/browser/Decorations/OverviewRulerRenderer.ts b/src/browser/Decorations/OverviewRulerRenderer.ts index bffdbb66..a46f9872 100644 --- a/src/browser/Decorations/OverviewRulerRenderer.ts +++ b/src/browser/Decorations/OverviewRulerRenderer.ts @@ -93,7 +93,6 @@ export class OverviewRulerRenderer extends Disposable { } this._ctx.lineWidth = !decoration.options.overviewRulerOptions.position ? 2 : 6; this._ctx.strokeStyle = decoration.options.overviewRulerOptions.color; - this._ctx.strokeRect( !decoration.options.overviewRulerOptions.position || decoration.options.overviewRulerOptions.position === 'left' ? 0 : decoration.options.overviewRulerOptions.position === 'right' ? renderSizes[SizeIndex.OUTER_SIZE] + renderSizes[SizeIndex.INNER_SIZE]: renderSizes[SizeIndex.OUTER_SIZE], Math.round(this._canvas.height * (decoration.options.marker.line / this._bufferService.buffers.active.lines.length)),