pub const GDK_DOUBLE_BUTTON_PRESS: GdkEventType = 5;