| 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 int get length() native "return this.length;"; | 4 int get length() native "return this.length;"; |
| 5 | 5 |
| 6 void back() native; | 6 void back() native; |
| 7 | 7 |
| 8 void forward() native; | 8 void forward() native; |
| 9 | 9 |
| 10 void go(int distance) native; | 10 void go(int distance) native; |
| 11 | 11 |
| 12 void pushState(Object data, String title, [String url = null]) native; | 12 void pushState(Object data, String title, [String url = null]) native; |
| 13 | 13 |
| 14 void replaceState(Object data, String title, [String url = null]) native; | 14 void replaceState(Object data, String title, [String url = null]) native; |
| 15 } | 15 } |
| OLD | NEW |