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

[Thibaut Appel]

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,

Thibaut