Type Definition gdk_sys::GdkDeviceToolType [] [src]

type GdkDeviceToolType = c_int;