Type Definition gdk_sys::GdkNotifyType

type GdkNotifyType = c_int;