def setPixelSize(self, width, height):
        """Set the width and height of the element associated with this UIObject
           in pixels.  Width and height should be numbers.
        """
        if width >= 0:
            self.setWidth("%dpx" % width)
        if height >= 0:
            self.setHeight("%dpx" % height)
dataset/ETHPy150Open pyjs/pyjs/pyjswidgets/pyjamas/ui/UIObject.py/UIObject.setPixelSize/original