def onmouseout(self):
        return self.eventManager.propagate(self.EVENT_ONMOUSEOUT, [])
Called when the mouse cursor moves outside a Widget.
dataset/ETHPy150Open dddomodossola/remi/remi/gui.py/Widget.onmouseout