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 final int 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 |