Source position: gnomepropertybox.inc line 33
procedure gnome_property_box_set_modified(
property_box: PGnomePropertyBox;
state: gboolean
);