beremiz

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

2013-07-04, Laurent Bessard
921858d68a13
file isExecutable
Fix refresh bug when scrolling Viewer while dragging graphic element or rubberband
from ..toolchain_gcc import toolchain_gcc
class Win32_target(toolchain_gcc):
extension = ".dll"
def getBuilderLDFLAGS(self):
return toolchain_gcc.getBuilderLDFLAGS(self) + ["-shared", "-lwinmm"]