Hello,
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.
Sharper arrows in the drawing module
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 
https://savannah.gnu.org/bugs/?func=detailitem&item_id=42098