Make copied edges visually distinct again (white arrowhead, thinner l…

…ine). Copied edges are assertions that have been originally made about inscriptions but are copied to their respective documents.
faustedition · Apr 5, 2019 · 06d771f · 06d771f
1 parent 8f8d0c4
commit 06d771f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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: