

def setPixelWidth(self, elem, width):
    DOM.setStyleAttribute(elem, 'width', (str(width) + 'px'))
    self.parentWidth = width

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