| OLD | NEW |
| 1 | 1 |
| 2 class _HistoryJs extends _DOMTypeJs implements History native "*History" { | 2 class _HistoryJs extends _DOMTypeJs implements History native "*History" { |
| 3 | 3 |
| 4 final int length; | 4 final int length; |
| 5 | 5 |
| 6 final Dynamic state; |
| 7 |
| 6 void back() native; | 8 void back() native; |
| 7 | 9 |
| 8 void forward() native; | 10 void forward() native; |
| 9 | 11 |
| 10 void go(int distance) native; | 12 void go(int distance) native; |
| 11 | 13 |
| 12 void pushState(Object data, String title, [String url = null]) native; | 14 void pushState(Object data, String title, [String url = null]) native; |
| 13 | 15 |
| 14 void replaceState(Object data, String title, [String url = null]) native; | 16 void replaceState(Object data, String title, [String url = null]) native; |
| 15 } | 17 } |
| OLD | NEW |