[Ipe-discuss] Get even tinier arrow head sizes than 'tiny'

Thibaut Appel t.appel17 at imperial.ac.uk
Mon Aug 24 18:36:55 CEST 2020

Dear IPE users,

I find the 'tiny' arrow head size still too large for my use.

Is there a quick way or an existing ipelet to define arbitrarily small 
arrow heads?

Thanks for the support,


More information about the Ipe-discuss mailing list