def getint(self, name, default=0):
        return int(self.get(name, default))
Return a HTML chunk with a "button" which, when clicked, will
dataset/ETHPy150Open scrapy/scrapy/scrapy/settings/__init__.py/BaseSettings.getint--crossover with--dataset/ETHPy150Open lsaffre/lino/lino/core/utils.py/InstanceAction.as_button