Laurent Bessard [Wed, 13 Nov 2013 23:25:26 +0100] rev 1375
Fixed bug with decimal value string formatting
Laurent Bessard [Mon, 11 Nov 2013 00:59:19 +0100] rev 1374
Fixed bug with decimal value string formatting
Laurent Bessard [Thu, 07 Nov 2013 00:31:46 +0100] rev 1373
Fixed bug when graphic element position and size and connection points are decimal