Shrink vector arrow heads for very short vectors drawn in the GraphTool. - #1570

Shrink vector arrow heads for very short vectors drawn in the GraphTool.#1570

drgrice1 wants to merge 1 commit into

openwebwork:developopenwebwork/pg:developfrom

drgrice1:graphtool-small-vectorsdrgrice1/pg:graphtool-small-vectorsCopy head branch name to clipboard