Source
void pushState(/*SerializedScriptValue*/ data, String title, String url, [Map options]) {
if (options != null) {
_blink.BlinkHistory.instance.pushState_Callback_4_(this, convertDartToNative_SerializedScriptValue(data), title, url, convertDartToNative_Dictionary(options));
return;
}
_blink.BlinkHistory.instance.pushState_Callback_3_(this, convertDartToNative_SerializedScriptValue(data), title, url);
return;
}