Specifies the kind of modification applied to a setting in a #GdkEventSetting.
a setting was added.
a setting was changed.
a setting was deleted.
Specifies the kind of modification applied to a setting in a #GdkEventSetting.