From d103ee28667a27f287cae22877e44015a8447070 Mon Sep 17 00:00:00 2001
From: Yoshiki Ohshima <yoshiki.ohshima@acm.org>
Date: Thu, 7 Sep 2023 12:29:01 -0700
Subject: [PATCH] enable HighDPI

---
 prelude.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prelude.js b/prelude.js
index 4c4e973..055fe73 100644
--- a/prelude.js
+++ b/prelude.js
@@ -33,7 +33,7 @@ export async function prelude() {
       Alternatively, you can set it from this file by uncomment the folloing line:
     */
 
-    // window.microverseHighDPIOption = true;
+    window.microverseHighDPIOption = true;
 
     /*
       If you want to load a CSS file, or additional JS files or such before