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 |