src/extensions/default/NavigationAndHistory/NavigationProvider.js
function _reinstateMarkers(editor, frames) {
        var index, frame;
        for (index in frames) {
            frame = frames[index];
            if (!frame.cm && frame.filePath === editor.document.file._path) {
                frame._reinstateMarkers(editor);
            }
        }
    }
function _reinstateMarkers(editor, frames) {
        var index, frame;
        for (index in frames) {
            frame = frames[index];
            if (!frame.cm && frame.filePath === editor.document.file._path) {
                frame._reinstateMarkers(editor);
            }
        }
    }
function _reinstateMarkers ( editor , frames ) { var index , frame ; for ( index in frames ) { frame = frames [ index ] ; if ( ! frame . cm && frame . filePath === editor . document . file . _path ) { frame . _reinstateMarkers ( editor ) ; } } }
Required to make offline markers alive again to track document mutation
@private
Required to make offline markers alive again to track document mutation