Ensured that *all* tabs of an open document a treated the same on delete or rename