beremiz

Fix refresh bug when scrolling Viewer while dragging graphic element or rubberband

2013-07-04, Laurent Bessard
921858d68a13
Fix refresh bug when scrolling Viewer while dragging graphic element or rubberband
from py_ext import *
from PythonEditor import PythonEditor
from PythonFileCTNMixin import PythonFileCTNMixin