From 816220ebd2195c72240a3683e6f2a1e079b57824 Mon Sep 17 00:00:00 2001
From: Daniel Imms <2193314+Tyriar@users.noreply.github.com>
Date: Fri, 18 Mar 2022 10:51:02 -0700
Subject: [PATCH] Round dpr for more crisp decorations

---
 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 3a1c127ae..c38b5377a 100644
--- a/src/browser/Decorations/OverviewRulerRenderer.ts
+++ b/src/browser/Decorations/OverviewRulerRenderer.ts
@@ -144,8 +144,8 @@ export class OverviewRulerRenderer extends Disposable {
   private _refreshCanvasDimensions(): void {
     this._canvas.style.width = `${this._width}px`;
     this._canvas.style.height = `${this._screenElement.clientHeight}px`;
-    this._canvas.width = Math.floor(this._width * window.devicePixelRatio);
-    this._canvas.height = Math.floor(this._screenElement.clientHeight * window.devicePixelRatio);
+    this._canvas.width = Math.round(this._width * window.devicePixelRatio);
+    this._canvas.height = Math.round(this._screenElement.clientHeight * window.devicePixelRatio);
     this._refreshDrawConstants();
   }