#2 renaming/deleting a wiki file opened in editor causes error

[Channing Walton]

If you rename or delete a wiki document in the
navigator whilst an editor is open an exception is raised.