Constant GDK_BUTTON_RELEASE 

pub const GDK_BUTTON_RELEASE: GdkEventType = 7;