| OLD | NEW |
| 1 part of ppw_html; | 1 part of ppw_html; |
| 2 | 2 |
| 3 class HighScoreView { | 3 class HighScoreView { |
| 4 final DivElement _div; | 4 final DivElement _div; |
| 5 final GameManager _manager; | 5 final GameManager _manager; |
| 6 | 6 |
| 7 HighScoreView(this._manager, this._div) { | 7 HighScoreView(this._manager, this._div) { |
| 8 assert(_div != null); | 8 assert(_div != null); |
| 9 assert(_manager != null); | 9 assert(_manager != null); |
| 10 | 10 |
| 11 _manager.bestTimeUpdated.listen((args) => _update()); | 11 _manager.bestTimeUpdated.listen((args) => _update()); |
| 12 | 12 |
| 13 _update(); | 13 _update(); |
| 14 } | 14 } |
| 15 | 15 |
| 16 void _update() { | 16 void _update() { |
| 17 _manager.bestTimeMilliseconds | 17 _manager.bestTimeMilliseconds |
| 18 .then((int milliseconds) { | 18 .then((int milliseconds) { |
| 19 if(milliseconds != null) { | 19 if(milliseconds != null) { |
| 20 final duration = new Duration(seconds: milliseconds ~/ 1000); | 20 final duration = new Duration(seconds: milliseconds ~/ 1000); |
| 21 _div.innerHtml = duration.toString(); | 21 _div.innerHtml = duration.toString(); |
| 22 } else { | 22 } else { |
| 23 _div.innerHtml = ''; | 23 _div.innerHtml = ''; |
| 24 } | 24 } |
| 25 }); | 25 }); |
| 26 } | 26 } |
| 27 } | 27 } |
| OLD | NEW |