pushState method Null safety

  1. @override
void pushState(
  1. Object? state,
  2. String title,
  3. String url
)
override

Push a new history entry.

See: https://developer.mozilla.org/en-US/docs/Web/API/History/pushState

Implementation

@override
void pushState(Object? state, String title, String url) {
  // No-op.
}