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/operator `+` -> `%`