| OLD | NEW |
| 1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 import 'dart:_fletch_system' as fletch; | 5 import 'dart:fletch._system' as fletch; |
| 6 import 'dart:fletch'; | 6 import 'dart:fletch'; |
| 7 import 'dart:fletch.os' as os; | 7 import 'dart:fletch.os' as os; |
| 8 import 'dart:math'; | 8 import 'dart:math'; |
| 9 | 9 |
| 10 const patch = "patch"; | 10 const patch = "patch"; |
| 11 | 11 |
| 12 Channel _eventQueue; | 12 Channel _eventQueue; |
| 13 int _numberOfEvents = 0; | 13 int _numberOfEvents = 0; |
| 14 | 14 |
| 15 void _handleEvents() { | 15 void _handleEvents() { |
| (...skipping 92 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 108 } | 108 } |
| 109 | 109 |
| 110 @patch static Timer _createPeriodicTimer(Duration duration, | 110 @patch static Timer _createPeriodicTimer(Duration duration, |
| 111 void callback(Timer timer)) { | 111 void callback(Timer timer)) { |
| 112 int milliseconds = max(0, duration.inMilliseconds); | 112 int milliseconds = max(0, duration.inMilliseconds); |
| 113 return new _FletchTimer.periodic(_currentTimestamp + milliseconds, | 113 return new _FletchTimer.periodic(_currentTimestamp + milliseconds, |
| 114 callback, | 114 callback, |
| 115 milliseconds); | 115 milliseconds); |
| 116 } | 116 } |
| 117 } | 117 } |
| OLD | NEW |