From 69945416718b4a22f9bfc9402dfab57cf898cc7f Mon Sep 17 00:00:00 2001
From: yukirij <yukirij@yukiri.net>
Date: Sun, 13 Oct 2024 21:50:45 -0700
Subject: [PATCH] Add pixel ratio scaling to play icons.

---
 www/js/ui.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/www/js/ui.js b/www/js/ui.js
index 12ba7de..29fee72 100644
--- a/www/js/ui.js
+++ b/www/js/ui.js
@@ -454,8 +454,8 @@ const UI = {
     },
 
     draw_play_icons(canvas, moves) {
-        canvas.width = canvas.clientWidth;
-        canvas.height = canvas.clientHeight;
+        canvas.width = canvas.clientWidth * (window.devicePixelRatio || 1);
+        canvas.height = canvas.clientHeight * (window.devicePixelRatio || 1);
         let ctx = canvas.getContext("2d");
 
         let size = canvas.height / 2;