def onmousemove(self, x, y):
        return self.eventManager.propagate(self.EVENT_ONMOUSEMOVE, [x, y])
Called when the mouse cursor moves inside the Widget.
dataset/ETHPy150Open dddomodossola/remi/remi/gui.py/Widget.onmousemove