Function pushText

packages/core/src/widgets/markdown/parse.ts:99–107

(out: MarkdownInline[], text: string)

}

function pushText(out: MarkdownInline[], text: string): void {
  if (text.length === 0) return;
  const last = out[out.length - 1];
  if (last !== undefined && last.kind === "text") {
    out[out.length - 1] = { kind: "text", text: last.text + text };
    return;
  }
  out.push({ kind: "text", text });
}

function scanRun(input: string, start: number, ch: string): number {
  let i = start;