| Index: client/html/generated/html/frog/History.dart
|
| diff --git a/client/html/generated/html/frog/History.dart b/client/html/generated/html/frog/History.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..22fff3dbe639bf1c77c2ae23de835b6a82ef8766
|
| --- /dev/null
|
| +++ b/client/html/generated/html/frog/History.dart
|
| @@ -0,0 +1,15 @@
|
| +
|
| +class _HistoryJs implements History native "*History" {
|
| +
|
| + final int length;
|
| +
|
| + void back() native;
|
| +
|
| + void forward() native;
|
| +
|
| + void go(int distance) native;
|
| +
|
| + void pushState(Object data, String title, [String url = null]) native;
|
| +
|
| + void replaceState(Object data, String title, [String url = null]) native;
|
| +}
|
|
|