From fb35892c57d7f6f9f6ce1dcb4de11376b76597d4 Mon Sep 17 00:00:00 2001
From: Jonathan Wilkes <jon.w.wilkes@gmail.com>
Date: Wed, 27 Apr 2016 17:51:40 -0400
Subject: [PATCH] remove unneeded attribute
---
pd/nw/pdgui.js | 1 -
1 file changed, 1 deletion(-)
diff --git a/pd/nw/pdgui.js b/pd/nw/pdgui.js
index 157310a23..57cf02f29 100644
--- a/pd/nw/pdgui.js
+++ b/pd/nw/pdgui.js
@@ -3067,7 +3067,6 @@ function gui_scope_draw_bg(cid, tag, bg_color, w, h, grid_width, dx, dy) {
fill: "none",
stroke: "black",
"stroke-width": grid_width,
- "shape-rendering": "geometricPrecision"
});
g.appendChild(bg);
g.appendChild(path);
--
GitLab