src/extensions/default/NavigationAndHistory/NavigationProvider.js
function _handleExternalChange(evt, doc) {
        if (doc) {
            _removeBackwardFramesForFile(doc.file);
            _removeForwardFramesForFile(doc.file);
            _validateNavigationCmds();
        }
    }
function _handleExternalChange(evt, doc) {
        if (doc) {
            _removeBackwardFramesForFile(doc.file);
            _removeForwardFramesForFile(doc.file);
            _validateNavigationCmds();
        }
    }
function _handleExternalChange ( evt , doc ) { if ( doc ) { _removeBackwardFramesForFile ( doc . file ) ; _removeForwardFramesForFile ( doc . file ) ; _validateNavigationCmds ( ) ; } }
Handles explicit content reset for a document caused by external changes
@private
Handles explicit content reset for a document caused by external changes