Constant GDK_BUTTON_RELEASE_MASK 

pub const GDK_BUTTON_RELEASE_MASK: GdkEventMask = 512;