

def setCoordWidth(self, elem, width):
    DOM.setElemAttribute(elem, 'width', int(width))
    self.clear(0, 0)

dataset/ETHPy150Open anandology/pyjamas/library/gwt/Canvas/GWTCanvasImplIE6.py GWTCanvasImplIE6.setCoordWidth/original