Source position: gtksettings.inc line 74
procedure _gtk_settings_handle_event(
event: PGdkEventSetting
);