pos static method
Implementation
static String pos({
required int displayOffset,
required double scrollFraction,
required int historySize,
}) =>
'off=$displayOffset frac=${scrollFraction.toStringAsFixed(3)} '
'pos=${(displayOffset + scrollFraction).toStringAsFixed(3)} hist=$historySize';