On Fri, 2004-02-20 at 09:56, Joseph Carter wrote:
> As I voted other...
>
> I think length 0.6, width 0.5 works ok.
> 0.5 both ways is too small and I think the increased length gives a
> slimmer
> look to the arrow which is more aesthetically pleasing IMHO
The only problem with that is that we'd use the same default size for
all arrows, and this'd make the round arrowheads ellipsoidial. Attached
is a PNG of how the various sizes look, with three different arrowheads
(the left-most one is currently selected by default). Should have made
that before the poll, of course.
-Lars