Constant GDK_KEY_Pointer_DblClick3 

pub const GDK_KEY_Pointer_DblClick3: c_int = 65265;