# HG changeset patch
# User francesco_lapi
# Date 1722440765 0
# Node ID d69e18da32d384bd4875d556f512805154595c4d
# Parent  2c5fe2bf1bd3c384b902e07348625805b3186ab8
Uploaded

diff -r 2c5fe2bf1bd3 -r d69e18da32d3 marea_2/flux_to_map.py
--- a/marea_2/flux_to_map.py	Wed Jul 31 15:43:50 2024 +0000
+++ b/marea_2/flux_to_map.py	Wed Jul 31 15:46:05 2024 +0000
@@ -428,7 +428,9 @@
         
         # Now we style the arrow head(s):
         idOpt1, idOpt2 = getArrowHeadElementId(reactionId)
+        print("styleReactionElements")
         print(idOpt1, idOpt2)
+        print("END styleReactionElements")
         self.applyTo(idOpt1, metabMap, self.toStyleStr(downSizedForTips = True))
         if idOpt2: self.applyTo(idOpt2, metabMap, self.toStyleStr(downSizedForTips = True))