use gdk.EventMask rather than int for Widget.AddEvents()