7.2.0

[7.2.0] - 2025-06-09

Added

• Added Settings.pushState boolean property
  to allow disabling of browser history updates. ie. no changes to the URL when navigating. suggested by @normelton
  Built-in NavigationHistory can be used in this case.