From da6b141353f3ecb976a48a35a9a6eea9651f75dd Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Thu, 28 May 2020 13:56:20 +0200
Subject: [PATCH] tweaked large check mark symbol some more

---
 src/symbols.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/symbols.js b/src/symbols.js
index f105983b..6cf25bae 100644
--- a/src/symbols.js
+++ b/src/symbols.js
@@ -1067,7 +1067,7 @@ SymbolMorph.prototype.renderSymbolCheckMark = function (ctx, color) {
     ctx.lineTo(w * 0.5, h);
     ctx.lineTo(w * 0.8, h * 0.3);
     ctx.lineTo(w, 0);
-    ctx.lineTo(w * 0.8, h * 0.1);
+    ctx.lineTo(w * 0.8, h * 0.05);
     ctx.lineTo(w * 0.5, h * 0.65);
     ctx.closePath();
     ctx.fill();