| Index: runtime/observatory/lib/src/elements/metric/details.dart
|
| diff --git a/runtime/observatory/lib/src/elements/metric/details.dart b/runtime/observatory/lib/src/elements/metric/details.dart
|
| index e45e4d1d355aa35e00b88e25f98ac3170f7cb652..34b7a0fe10b080baf360c687ce313823371ec098 100644
|
| --- a/runtime/observatory/lib/src/elements/metric/details.dart
|
| +++ b/runtime/observatory/lib/src/elements/metric/details.dart
|
| @@ -108,8 +108,8 @@ class MetricDetailsElement extends HtmlElement implements Renderable {
|
| ..value = _rateToString(current)
|
| ..children = M.MetricSamplingRate.values.map((rate) {
|
| return new OptionElement(
|
| - value: _rateToString(current),
|
| - selected: current == rate)..text = _rateToString(rate);
|
| + value: _rateToString(current), selected: current == rate)
|
| + ..text = _rateToString(rate);
|
| }).toList(growable: false)
|
| ..onChange.listen((_) {
|
| _metrics.setSamplingRate(
|
| @@ -127,8 +127,8 @@ class MetricDetailsElement extends HtmlElement implements Renderable {
|
| ..value = _sizeToString(current)
|
| ..children = M.MetricBufferSize.values.map((rate) {
|
| return new OptionElement(
|
| - value: _sizeToString(current),
|
| - selected: current == rate)..text = _sizeToString(rate);
|
| + value: _sizeToString(current), selected: current == rate)
|
| + ..text = _sizeToString(rate);
|
| }).toList(growable: false)
|
| ..onChange.listen((_) {
|
| _metrics.setBufferSize(
|
|
|