Asking users to retain or discard edited tree when source changes in
tree window