Constant GDK_DOUBLE_BUTTON_PRESS 

pub const GDK_DOUBLE_BUTTON_PRESS: GdkEventType = 5;