Source position: gnomeconfig.inc line 46
procedure gnome_config_set_int(
path: PAnsiChar;
new_value: LongInt
);