It pushes the history paths state
@override void pushHistoryState(String screenName, String args) { html.window.history.pushState("", "", "$screenName$args"); }