extendSelections method

void extendSelections(
  1. List<Position> heads, [
  2. Map? options
])

An equivalent of extendSelection that acts on all selections at once.

Implementation

void extendSelections(List<Position> heads, [Map? options]) {
  callArgs('extendSelections',
      [JsArray.from(heads.map((Position head) => head.toProxy())), options]);
}