

def setPixelHeight(self, elem, height):
    DOM.setStyleAttribute(elem, 'height', (str(height) + 'px'))
    self.parentHeight = height

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