| OLD | NEW |
| 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, the Dart 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 file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 import 'dart:html'; | 5 import 'dart:html'; |
| 6 import 'dart:async'; | 6 import 'dart:async'; |
| 7 import 'package:observatory/models.dart' as M; | 7 import 'package:observatory/models.dart' as M; |
| 8 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; | 8 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; |
| 9 import 'package:observatory/src/elements/helpers/tag.dart'; | 9 import 'package:observatory/src/elements/helpers/tag.dart'; |
| 10 | 10 |
| (...skipping 90 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 101 } | 101 } |
| 102 | 102 |
| 103 List<Element> _createRefreshRateSelect() { | 103 List<Element> _createRefreshRateSelect() { |
| 104 final current = _metrics.getSamplingRate(_isolate, _metric); | 104 final current = _metrics.getSamplingRate(_isolate, _metric); |
| 105 var s; | 105 var s; |
| 106 return [ | 106 return [ |
| 107 s = new SelectElement() | 107 s = new SelectElement() |
| 108 ..value = _rateToString(current) | 108 ..value = _rateToString(current) |
| 109 ..children = M.MetricSamplingRate.values.map((rate) { | 109 ..children = M.MetricSamplingRate.values.map((rate) { |
| 110 return new OptionElement( | 110 return new OptionElement( |
| 111 value: _rateToString(current), | 111 value: _rateToString(current), selected: current == rate) |
| 112 selected: current == rate)..text = _rateToString(rate); | 112 ..text = _rateToString(rate); |
| 113 }).toList(growable: false) | 113 }).toList(growable: false) |
| 114 ..onChange.listen((_) { | 114 ..onChange.listen((_) { |
| 115 _metrics.setSamplingRate( | 115 _metrics.setSamplingRate( |
| 116 _isolate, _metric, M.MetricSamplingRate.values[s.selectedIndex]); | 116 _isolate, _metric, M.MetricSamplingRate.values[s.selectedIndex]); |
| 117 _r.dirty(); | 117 _r.dirty(); |
| 118 }) | 118 }) |
| 119 ]; | 119 ]; |
| 120 } | 120 } |
| 121 | 121 |
| 122 List<Element> _createBufferSizeSelect() { | 122 List<Element> _createBufferSizeSelect() { |
| 123 final current = _metrics.getBufferSize(_isolate, _metric); | 123 final current = _metrics.getBufferSize(_isolate, _metric); |
| 124 var s; | 124 var s; |
| 125 return [ | 125 return [ |
| 126 s = new SelectElement() | 126 s = new SelectElement() |
| 127 ..value = _sizeToString(current) | 127 ..value = _sizeToString(current) |
| 128 ..children = M.MetricBufferSize.values.map((rate) { | 128 ..children = M.MetricBufferSize.values.map((rate) { |
| 129 return new OptionElement( | 129 return new OptionElement( |
| 130 value: _sizeToString(current), | 130 value: _sizeToString(current), selected: current == rate) |
| 131 selected: current == rate)..text = _sizeToString(rate); | 131 ..text = _sizeToString(rate); |
| 132 }).toList(growable: false) | 132 }).toList(growable: false) |
| 133 ..onChange.listen((_) { | 133 ..onChange.listen((_) { |
| 134 _metrics.setBufferSize( | 134 _metrics.setBufferSize( |
| 135 _isolate, _metric, M.MetricBufferSize.values[s.selectedIndex]); | 135 _isolate, _metric, M.MetricBufferSize.values[s.selectedIndex]); |
| 136 _r.dirty(); | 136 _r.dirty(); |
| 137 }) | 137 }) |
| 138 ]; | 138 ]; |
| 139 } | 139 } |
| 140 | 140 |
| 141 static String _rateToString(M.MetricSamplingRate rate) { | 141 static String _rateToString(M.MetricSamplingRate rate) { |
| (...skipping 19 matching lines...) Expand all Loading... |
| 161 case M.MetricBufferSize.n10samples: | 161 case M.MetricBufferSize.n10samples: |
| 162 return '10'; | 162 return '10'; |
| 163 case M.MetricBufferSize.n100samples: | 163 case M.MetricBufferSize.n100samples: |
| 164 return '100'; | 164 return '100'; |
| 165 case M.MetricBufferSize.n1000samples: | 165 case M.MetricBufferSize.n1000samples: |
| 166 return '1000'; | 166 return '1000'; |
| 167 } | 167 } |
| 168 throw new Exception('Unknown MetricSamplingRate ($size)'); | 168 throw new Exception('Unknown MetricSamplingRate ($size)'); |
| 169 } | 169 } |
| 170 } | 170 } |
| OLD | NEW |