pub const GTK_SENSITIVITY_OFF: GtkSensitivityType = 2;