src/extensions/default/NavigationAndHistory/main.js
function handleCurrentFileChange(e, newFile, newPaneId, oldFile) {
        if (newFile) {
            if (_mrofList.length === 0) {
                _initRecentFilesList();
            }

	        _addToMROFList(newFile, newPaneId);
        }
    }
function handleCurrentFileChange(e, newFile, newPaneId, oldFile) {
        if (newFile) {
            if (_mrofList.length === 0) {
                _initRecentFilesList();
            }

	        _addToMROFList(newFile, newPaneId);
        }
    }
function handleCurrentFileChange ( e , newFile , newPaneId , oldFile ) { if ( newFile ) { if ( _mrofList . length === 0 ) { _initRecentFilesList ( ) ; } _addToMROFList ( newFile , newPaneId ) ; } }
Handle current file change
Handle current file change