Type Definition gdk_sys::GdkDeviceToolType[][src]

type GdkDeviceToolType = c_int;