Hi Michel,

re:
> I would prefer the drawing to be as sharp as possible when adding dimensions if it's not too hard
> or heavy on display performance.

Well the thing is that mitered corners for the outer line drawing helps make the butt end of the arrow sharp.

It's subtle but here's a comparison - here's #1 with all mitered corners for the outer line:




Here's #2 with the outer boundary as separate lines with no mitered corners at all. The thing I don't like here is if you zoom in to the butt of the horizontal ones you can see it's got a slight rounded appearance instead of very crisp corners:




Here's #3 with only the butt corners mitered and not the tip mitered. It makes a little more blunt tip than it ideally should be but that would also mean the tip won't stick out as much:




Here's #4 with no outer line drawings at all, only a fill:




So number 1 is pretty much the best arrowhead shape that I can make I think. I don't like the butt end of number 2. Number 3 seems like a good compromise it keeps the tip from extending out too much but keeps the butt end sharp. The tip is a little rounded from a perfect arrowhead though. Number 4 seems pretty gross with no antialiasing.

My current thinking is that I'll go with #1 by default but I could have an option to do #3 instead. I'm not sure if #2 or #4 have much value but let me know what you think.

- Michael