From 371c415dca4c8bf97f9db85fda223900c8cdae2d Mon Sep 17 00:00:00 2001
From: Neil Gershenfeld <gersh@cba.mit.edu>
Date: Fri, 25 May 2018 17:18:17 -0400
Subject: [PATCH] Windows Chrome drawing fix?

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

diff --git a/js/mods.js b/js/mods.js
index bc6ced1..c579e13 100644
--- a/js/mods.js
+++ b/js/mods.js
@@ -655,8 +655,8 @@ var svg = document.createElementNS("http://www.w3.org/2000/svg", "svg")
    svg.style.left = 0
    svg.style.zIndex = 0
    svg.style.overflow = 'visible'
-   svg.setAttribute('width',1)
-   svg.setAttribute('height',1)
+   svg.setAttribute('width',2)
+   svg.setAttribute('height',2)
    svg.setAttribute('id','svg')
    svg.setAttributeNS("http://www.w3.org/2000/xmlns/","xmlns:xlink","http://www.w3.org/1999/xlink")
    document.body.appendChild(svg)
-- 
GitLab