placeHeading method

void placeHeading(
  1. String title,
  2. double destY
)

Stamp the first unplaced heading named title with a top-left destY.

Implementation

void placeHeading(String title, double destY) {
  for (final PwHeading heading in headings) {
    if (heading.title != title ||
        heading.pageNumber != pageNumber ||
        heading.placed) {
      continue;
    }
    heading.destY = destY;
    heading.placed = true;
    anchors[title] = heading;
    return;
  }
}