From 0a686207a4e546fa749baf193fc1b6516ffff84f Mon Sep 17 00:00:00 2001
From: Andrew Caudwell <acaudwell@gmail.com>
Date: Tue, 3 May 2022 21:16:55 -0700
Subject: [PATCH] Don't default to high-dpi for now

Makes default font too small

Would make sense to enable with automatic font scaling
---
 src/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.cpp b/src/main.cpp
index 894e2ba..6bff3a6 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -154,7 +154,7 @@ int main(int argc, char *argv[]) {
     // If a resolution has been specified this may not be appropriate
     // E.g. if you are recording a video at a specific resolution
     // Can override by supplying --high-dpi option.
-    if(settings.viewport_specified && !settings.high_dpi) {
+    if(/* settings.viewport_specified && */ !settings.high_dpi) {
         high_dpi = false;
     }
 #endif