Thu, 07 Nov 2013 00:31:46 +0100 Laurent Bessard Fixed bug when graphic element position and size and connection points are decimal