If a PUD open in one editor has been modified from outside, the editor should been about the file being modified by somone else.