rework DocumentManager.currentFileChanged handler to use open document map