Function displayPendingEditDecorations

src/util/editDisplayUtils.ts:48–98

(
  targets: TypedSelection[],
  editStyle: EditStyle
)

}

export default async function displayPendingEditDecorations(
  targets: TypedSelection[],
  editStyle: EditStyle
) {
  await runOnTargetsForEachEditor(targets, async (editor, selections) => {
    editor.setDecorations(
      editStyle.token,
      selections
        .filter((selection) => !useLineDecorations(selection))
        .map((selection) => selection.selection.selection)
    );

    editor.setDecorations(
      editStyle.line,
      selections
        .filter((selection) => useLineDecorations(selection))
        .map((selection) => {
          const { document } = selection.selection.editor;
          const { start, end } = selection.selection.selection;
          const startLine = document.lineAt(start);
          const hasLeadingLine =
            start.character === startLine.range.end.character;
          if (
            end.character === 0 &&
            (!hasLeadingLine || start.character === 0)
          ) {
            // NB: We move end up one line because it is at beginning of
            // next line
            return selection.selection.selection.with({
              end: end.translate(-1),
            });
          }
          if (hasLeadingLine) {
            // NB: We move start down one line because it is at end of
            // previous line
            return selection.selection.selection.with({
              start: start.translate(1),
            });
          }
          return selection.selection.selection;
        })
    );
  });

  await decorationSleep();

  await runOnTargetsForEachEditor(targets, async (editor) => {
    editor.setDecorations(editStyle.token, []);
    editor.setDecorations(editStyle.line, []);
  });
}

function useLineDecorations(selection: TypedSelection) {
  return (