Sharper arrows in the drawing module

can we modify the arrowheads as below?
I looked to modify commands in the graphics-drd.scm file but couldn’t find it.
This may not be possible.
Thanks for any help you may have.

Have a look at edit_env_rep::decode_arrow in src/Typeset/Env/env_semantics.cpp. There you can see that the environment variables arrow-length and arrow-height control the geometry of the arrows.

They don’t seem to be accessible from the interface, though. You can, however, create a <with|arrow-length|30ln|> tag (or similar) and paste the graphics inside it.

1 Like

It’s not very convenient but it works very well.
Thanks for your help.

Apparently this is on the wishlist since 2014 :smiley: