Source position: gnomepropertybox.inc line 4
const GNOME_PROPERTY_BOX_DIRTY = 'gnome_property_box_dirty';