From 06d771fd4094cd340397245aedf4dab017ae1fec Mon Sep 17 00:00:00 2001 From: Thorsten Vitt Date: Fri, 5 Apr 2019 13:47:15 +0200 Subject: [PATCH] Make copied edges visually distinct again (white arrowhead, thinner line). Copied edges are assertions that have been originally made about inscriptions but are copied to their respective documents. --- src/macrogen/etc/styles.yaml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/macrogen/etc/styles.yaml b/src/macrogen/etc/styles.yaml index fbfbb83..ef44cfd 100644 --- a/src/macrogen/etc/styles.yaml +++ b/src/macrogen/etc/styles.yaml @@ -34,8 +34,9 @@ edge: color: gray constraint: false style: dashed -# copy: -# color: lightblue + copy: + arrowhead: empty + penwidth: 0.5 # additional style for conflicting edges delete: