src/extensions/default/NavigationAndHistory/NavigationProvider.js
function _captureFrame(editor) {
        // Capture the active position now if it was not captured earlier
        if ((activePosNotSynced || !jumpBackwardStack.length) && !jumpInProgress) {
            jumpBackwardStack.push(new NavigationFrame(editor, {ranges: editor._codeMirror.listSelections()}));
        }
    }
function _captureFrame(editor) {
        // Capture the active position now if it was not captured earlier
        if ((activePosNotSynced || !jumpBackwardStack.length) && !jumpInProgress) {
            jumpBackwardStack.push(new NavigationFrame(editor, {ranges: editor._codeMirror.listSelections()}));
        }
    }
function _captureFrame ( editor ) { // Capture the active position now if it was not captured earlier if ( ( activePosNotSynced || ! jumpBackwardStack . length ) && ! jumpInProgress ) { jumpBackwardStack . push ( new NavigationFrame ( editor , { ranges : editor . _codeMirror . listSelections ( ) } ) ) ; } }
Function to request a navigation frame creation explicitly.
@private
Function to request a navigation frame creation explicitly .