I want to remove the POINTER_MOTION_MASK
from my window's events. I tried:
win.set_events(win.get_events() & ~Gdk.EventMask.POINTER_MOTION_MASK)
however, I get this error:
TypeError: Expected a Gdk.EventMask, but got int
How should I remove the bit from the event mask?