# HG changeset patch
# User Chris Cannam
# Date 1542290696 0
# Node ID 5decad11dee9de002737505dcba81fe5b9e7c9cf
# Parent  432ccdfd2c2b08a2a166dcda895f410799dffc56
Scale pen for retina display on macOS as well as for hidpi display elsewhere

diff -r 432ccdfd2c2b -r 5decad11dee9 repoint-lock.json
--- a/repoint-lock.json	Thu Nov 15 14:00:42 2018 +0000
+++ b/repoint-lock.json	Thu Nov 15 14:04:56 2018 +0000
@@ -7,7 +7,7 @@
       "pin": "07f23b90701a"
     },
     "svgui": {
-      "pin": "decb7741d036"
+      "pin": "28075cc658c9"
     },
     "svapp": {
       "pin": "29bef008588e"