Source position: gnomeconfig.inc line 39
procedure _gnome_config_set_int(
path: Pchar;
value: LongInt;
priv: gint
);