def getIntProp(obj, propertyName):
    DOM.getIntAttribute(obj, propertyName)
Reads an object's property as an integer value.
dataset/ETHPy150Open pyjs/pyjs/pyjswidgets/pyjamas/selection/Range.py/getIntProp