# HG changeset patch
# User francesco_lapi
# Date 1722000483 0
# Node ID 9e68176e6b2aa7d7ad3a5725e999396f9f9dc990
# Parent  f0a060e4e21743bf7010a69b96e85492b01e970c
Uploaded

diff -r f0a060e4e217 -r 9e68176e6b2a marea_2/marea.py
--- a/marea_2/marea.py	Fri Jul 26 13:25:47 2024 +0000
+++ b/marea_2/marea.py	Fri Jul 26 13:28:03 2024 +0000
@@ -428,8 +428,8 @@
         
         # Now we style the arrow head(s):
         idOpt1, idOpt2 = getArrowHeadElementId(reactionId)
-        self.applyTo(idOpt1, metabMap, self.toStyleStr(downSizedForTips = False))
-        if idOpt2: self.applyTo(idOpt2, metabMap, self.toStyleStr(downSizedForTips = False))
+        self.applyTo(idOpt1, metabMap, self.toStyleStr(downSizedForTips = True))
+        if idOpt2: self.applyTo(idOpt2, metabMap, self.toStyleStr(downSizedForTips = True))
     
     def getMapReactionId(self, reactionId :str, mindReactionDir :bool) -> str:
         """
@@ -456,7 +456,7 @@
             str : the styles string.
         """
         width = self.w
-        if downSizedForTips: width *= 0.15
+        if downSizedForTips: width *= 0.8
         return f";stroke:{self.col};stroke-width:{width};stroke-dasharray:{'5,5' if self.dash else 'none'}"
 
 # vvv These constants could be inside the class itself a static properties, but python