pair arrow_center = piezo_bot + (0, arrow_length/2 + 2pt);
arrow(b=arrow_center + dir*arrow_length/2, dir=-dir,
length=this.piezo_height/3, Arrow(size=8pt),
- margin=NoMargin);
+ margin=NoMargin, L="");
}
}
pair label_size = 1.2 * (max(picL)-min(picL));
real arrow_length = length(end-start)/2 - label_size.y;
if (arrow_length > 4pt) {
- arrow(b=start, dir=u, length=arrow_length, Arrow(size=4pt));
- arrow(b=end, dir=-u, length=arrow_length, Arrow(size=4pt));
+ arrow(b=start, dir=u, length=arrow_length, Arrow(size=4pt), L="");
+ arrow(b=end, dir=-u, length=arrow_length, Arrow(size=4pt), L="");
}
label(L, center);
}