Source position: gnomepropertybox.inc line 32
procedure gnome_property_box_changed(
property_box: PGnomePropertyBox
);