beremiz

Fixed bug when graphic element position and size and connection points are decimal

2013-11-07, Laurent Bessard
4278d5c1e414
Fixed bug when graphic element position and size and connection points are decimal
from py_ext import *
from PythonEditor import PythonEditor
from PythonFileCTNMixin import PythonFileCTNMixin