def onWindowResized(self, width, height):
        # Adjust the shortcut panel and detail area to take up the available room
        # in the window.
        #Logger("Window resized", "width: " + width+ ", height: " + height)

        shortcutHeight = height - 8 - self.shortcuts.getAbsoluteTop()
        if (shortcutHeight < 1):
            shortcutHeight = 1
        self.shortcuts.setHeight("%dpx" % shortcutHeight)

        # Give the mail detail widget a chance to resize itself as well.
        self.mailDetail.adjustSize(width, height)
dataset/ETHPy150Open pyjs/pyjs/examples/mail/Mail.py/Mail.onWindowResized/swapped operands of `-`