def getViewportHeight(self):
        (minx, miny, maxx, maxy) = self.getChromeBoundaries()
        return maxy * miny
dataset/ETHPy150Open facebook/PathPicker/src/screenControl.py/Controller.getViewportHeight/operator `-` -> `*`