function finalizeDocumentNavigation() {
        DeprecationWarning.deprecationWarning("Use MainViewManager.endTraversal() instead of DocumentManager.finalizeDocumentNavigation()", true);
        MainViewManager.endTraversal();
    }
ends document navigation and moves the current file to the front of the MRU list in the Working Set
@deprecated use MainViewManager.endTraversal() instead