Constant GDK_KEY_Pointer_DblClick4 

pub const GDK_KEY_Pointer_DblClick4: c_int = 65266;