Method formatSpan

src/ide.ts:1215–1263

Create a new span representing the given source, collapsing and splitting existing spans as required to maintain invariants.

(from:Position, to:Position, source:any)

  /** Create a new span representing the given source, collapsing and splitting existing spans as required to maintain invariants. */
  formatSpan(from:Position, to:Position, source:any):Span[] {
    let selection = {from, to};

    let spans = this.findSpans(from, to, source.type);
    let formatted = false;
    let neue:Span[] = [];
    for(let span of spans) {
      let loc = span.find();
      if(!loc) continue;

      // If the formatted range matches an existing span of the same type, clear it.
      if(samePosition(loc.from, from) && samePosition(loc.to, to)) {
        span.clear();
        formatted = true;

        // If formatted range wholly encloses a span of the same type, clear it.
      } else if(whollyEnclosed(loc, selection)) {
        span.clear();

        // If the formatted range is wholly enclosed in a span of the same type, split the span around it.
      } else if(whollyEnclosed(selection, loc)) {
        if(!samePosition(loc.from, from)) neue.push(this.markSpan(loc.from, from, source));
        if(!samePosition(to, loc.to)) neue.push(this.markSpan(to, loc.to, source));
        span.clear();
        formatted = true;

        // If the formatted range intersects the end of a span of the same type, clear the intersection.
      } else if(comparePositions(loc.to, from) > 0) {
        neue.push(this.markSpan(loc.from, from, source));
        span.clear();

        // If the formatted range intersects the start of a span of the same type, clear the intersection.
      } else if(comparePositions(loc.from, to) < 0) {
        neue.push(this.markSpan(to, loc.to, source));
        span.clear();
      }
    }

    // If we haven't already formatted by removing existing span(s) then we should create a new span
    if(!formatted) {
      neue.push(this.markSpan(from, to, source));
    }

    for(let span of neue) {
      this.trackDenormalized(span);
    }

    return neue;
  }

  format(source:{type:string, info?:string, level?: number, listData?: {type:"ordered"|"bullet", start?: number}}, refocus = false) {
    let SpanClass:(typeof Span) = spanTypes[source.type] || spanTypes["default"];