From 9b14470e2114e3da4820720f8b504ca4af39578e Mon Sep 17 00:00:00 2001
From: Robert Vollmert <rob@vllmrt.net>
Date: Wed, 18 Mar 2020 21:43:11 +0100
Subject: [PATCH] treat lwmin as a multiple of gw, lowering min linewidth on
 high-dpi displays

not sure this is a good idea, seems to look rather poor on iphone
---
 src/puzzle/Graphic.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/puzzle/Graphic.js b/src/puzzle/Graphic.js
index f1f74781e..747af1ca1 100644
--- a/src/puzzle/Graphic.js
+++ b/src/puzzle/Graphic.js
@@ -317,7 +317,7 @@
 				var gwdev = Math.max(1, Math.round(gw / pxSize));
 				this.gw = gwdev * pxSize;
 
-				var lw = Math.max(this.cw / this.lwratio, this.lwmin);
+				var lw = Math.max(this.cw / this.lwratio, this.lwmin * this.gw);
 				var lwdev = Math.max(1, Math.round(lw / pxSize));
 				this.lw = lwdev * pxSize;
 				this.lm = this.lw / 2;