Definition File Editor modified.