Open nathanielvirgo opened 4 months ago
Could you share an example of the size of pullback indicator you have in mind? (If you have the corresponding TikZ too, that would be even better.)
Sorry for the slow reply - I didn't have a great example to hand, so I was waiting for one to come up. Maybe this works to illustrate it at least:
To my eyes this looks a bit small and I would rather it look like this (no tikz code because it's just a rough mockup)
Of course I could just put all the nodes closer to each other like this
but sometimes you want them that far apart, either to fit other arrows in or because you've got long complicated labels on the arrows and it starts to get cluttered
I sometimes find that the little right-angle thing indicating a pullback is a bit small and hard to notice, so it would be neat if there was a way to change its size.