| OLD | NEW |
| 1 part of ppw_html; | 1 part of ppw_html; |
| 2 | 2 |
| 3 abstract class GameManager { | 3 abstract class GameManager { |
| 4 final int _width, _height, _bombCount; | 4 final int _width, _height, _bombCount; |
| 5 final GameStorage _gameStorage = new GameStorage(); | 5 final GameStorage _gameStorage = new GameStorage(); |
| 6 | 6 |
| 7 Game _game; | 7 Game _game; |
| 8 StreamSubscription _updatedEventId; | 8 StreamSubscription _updatedEventId; |
| 9 StreamSubscription _gameStateChangedId; | 9 StreamSubscription _gameStateChangedId; |
| 10 Timer _clockTimer; | 10 Timer _clockTimer; |
| (...skipping 74 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 85 bestTimeMilliseconds.then((int val) { | 85 bestTimeMilliseconds.then((int val) { |
| 86 onNewBestTime(val); | 86 onNewBestTime(val); |
| 87 }); | 87 }); |
| 88 } | 88 } |
| 89 }); | 89 }); |
| 90 } | 90 } |
| 91 updateClock(); | 91 updateClock(); |
| 92 onGameStateChanged(newState); | 92 onGameStateChanged(newState); |
| 93 } | 93 } |
| 94 } | 94 } |
| OLD | NEW |