src/model/history.js
function getOldSpans(doc, change) {
  let found = change["spans_" + doc.id]
  if (!found) return null
  let nw = []
  for (let i = 0; i < change.text.length; ++i)
    nw.push(removeClearedSpans(found[i]))
  return nw
}
function getOldSpans(doc, change) {
  let found = change["spans_" + doc.id]
  if (!found) return null
  let nw = []
  for (let i = 0; i < change.text.length; ++i)
    nw.push(removeClearedSpans(found[i]))
  return nw
}
function getOldSpans ( doc , change ) { let found = change [ "spans_" + doc . id ] if ( ! found ) return null let nw = [ ] for ( let i = 0 ; i < change . text . length ; ++ i ) nw . push ( removeClearedSpans ( found [ i ] ) ) return nw }
Retrieve and filter the old marked spans stored in a change event.
Retrieve and filter the old marked spans stored in a change event .