arrows' thickness is set to a default value in the ArrowFormat constructor
Merge branch 'feature137' into dev
Arrows' thickness is set to a default value in the ArrowFormat constructor.
updated build_all.sh : fixed the name of the building scripts
builds #676->#681
Merge branch 'feature138' into dev
Arrows' thickness is set to a default value in the ArrowFormat constructor.