Type Definition gdk_sys::GdkDeviceType[][src]

type GdkDeviceType = c_int;