Method scrollToPosition

src/ide.ts:1054–1057

(position:Position)

  }

  scrollToPosition(position:Position) {
    let top = this.cm.cursorCoords(position, "local").top;
    this.cm.scrollTo(0, Math.max(top - 100, 0));
  }

  //-------------------------------------------------------
  // Spans