7 Aug
2018
7 Aug
'18
5:32 p.m.
On Tue, 7 Aug 2018 13:06:23 -0400 (EDT)
Aditya Mahajan
Furthermore, the MP arrow can be tuned
\startMPinitializations
ahlength := .5EmWidth ; ahvariant := 1 ; % dimpled straight
\stopMPinitializations
as can line widths, etc.
Shouldn't we use a dedicated MP instance for stackers?
MPinitializations are shared by all instances (normally), that is if initializations=yes is set in \defineMPinstance. Alan