From e293d29fd3306fc04b9a0b6fa5308eb16bb4f4d7 Mon Sep 17 00:00:00 2001 From: meganrogge Date: Wed, 16 Mar 2022 13:31:03 -0400 Subject: [PATCH] add a comment --- src/browser/Decorations/OverviewRulerRenderer.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/browser/Decorations/OverviewRulerRenderer.ts b/src/browser/Decorations/OverviewRulerRenderer.ts index f62c6647..aa91cad9 100644 --- a/src/browser/Decorations/OverviewRulerRenderer.ts +++ b/src/browser/Decorations/OverviewRulerRenderer.ts @@ -92,13 +92,13 @@ export class OverviewRulerRenderer extends Disposable { return; } this._ctx.lineWidth = 1; - this._ctx.strokeStyle = decoration.options.overviewRulerOptions.color; this._ctx.fillStyle = decoration.options.overviewRulerOptions.color; this._ctx.fillRect( !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)), !decoration.options.overviewRulerOptions.position ? this._width : decoration.options.overviewRulerOptions.position === 'center' ? renderSizes[SizeIndex.INNER_SIZE] : renderSizes[SizeIndex.OUTER_SIZE], - window.devicePixelRatio * (!decoration.options.overviewRulerOptions.position ? 2 : 6) + // when a position is provided, the element has less width, so increase its height + window.devicePixelRatio * (decoration.options.overviewRulerOptions.position ? 6 : 2) ); }