def onkeydown(self, new_value):
        self.set_text(new_value)
        return self.eventManager.propagate(self.EVENT_ONKEYDOWN, [new_value])
Called when the user types a key into the TextInput.
dataset/ETHPy150Open dddomodossola/remi/remi/gui.py/TextInput.onkeydown