This is an event signal, fired when the connected widget picks up a
GDK_MOTION_NOTIFY event. Motion notify events are
triggered when the mouse pointer moves across the screen. There are
a great many of them, which has given rise to several different kinds
of GdkEventMask aiming to minimise the amount
that are captured.
