From b05db37ac13590bd125ad4014dee84e5b0b789c3 Mon Sep 17 00:00:00 2001 From: meganrogge Date: Tue, 15 Mar 2022 18:12:19 -0400 Subject: [PATCH] adjust size based on position --- demo/client.ts | 7 ++----- src/browser/Decorations/OverviewRulerRenderer.ts | 2 +- 2 files changed, 3 insertions(+), 6 deletions(-) diff --git a/demo/client.ts b/demo/client.ts index d8d792f1..3d3a3c3f 100644 --- a/demo/client.ts +++ b/demo/client.ts @@ -555,15 +555,12 @@ function addDecoration() { } function addOverviewRuler() { - term.options['overviewRulerWidth'] = 13; - const canvas = term.registerDecoration({marker: term.addMarker(1), overviewRulerOptions: { color: '#ef2929' }}); + term.options['overviewRulerWidth'] = 12; + 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' }}); term.registerDecoration({marker: term.addMarker(7), overviewRulerOptions: { color: '#ef2929', position: 'left' }}); term.registerDecoration({marker: term.addMarker(7), overviewRulerOptions: { color: '#8ae234', position: 'center' }}); term.registerDecoration({marker: term.addMarker(7), overviewRulerOptions: { color: '#729fcf', position: 'right' }}); - canvas.onRender((e) => { - e.style.left = `${document.querySelector('.xterm-viewport').clientWidth + 1}px`; - }); } diff --git a/src/browser/Decorations/OverviewRulerRenderer.ts b/src/browser/Decorations/OverviewRulerRenderer.ts index 865ac990..e22a3257 100644 --- a/src/browser/Decorations/OverviewRulerRenderer.ts +++ b/src/browser/Decorations/OverviewRulerRenderer.ts @@ -93,7 +93,7 @@ export class OverviewRulerRenderer extends Disposable { this._decorationElements.delete(decoration); return; } - this._ctx.lineWidth = 1; + 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' ? workArray[WorkIndex.OUTER_SIZE] + workArray[WorkIndex.INNER_SIZE]: workArray[WorkIndex.OUTER_SIZE],