setPage method

void setPage(
  1. int page
)

Sets the current page and initializes history stacks if not already present.

Implementation

void setPage(int page) {
  _currentPage = page;
  _highlightHistory.putIfAbsent(page, () => []);
  _highlightUndoStack.putIfAbsent(page, () => []);
  notifyListeners();
}