Function isDigit

packages/core/src/widgets/codeEditorSyntax.ts:813–815

(ch: string)

}

function isDigit(ch: string): boolean {
  return ch >= "0" && ch <= "9";
}

function consumeWhitespace(scanner: Scanner): void {
  const start = scanner.index;