Nyall Dawson 6568da6ce0 Rename arrow symbol head width/height to length/thickness
Width/height naming is dependant on line direction, so for
clarity rename them to something which doesn't depend
on direction (fix #15002)
2016-06-14 12:54:49 +10:00
..
2016-06-09 11:13:11 +02:00
2016-06-13 18:52:24 +10:00
2016-05-14 00:21:50 +02:00
2016-04-29 14:10:26 +02:00