devenv.py 文件源码

def script_onSizeChange(self, gesture):
        gesture.send()
        #get the position from the status bar
        obj = api.getForegroundObject().lastChild
        text = obj.children[2].name
        width = re.match(REG_SPLIT_LOCATION_TEXT, text).group(3)
        hight = re.match(REG_SPLIT_LOCATION_TEXT, text).group(4)
        #translators: the width and the hight of a UI element in windows forms designer
        msg = _("width: %s  hight: %s" %(width, hight))
        ui.message(msg)