| Index: runtime/observatory/lib/src/elements/metrics.dart
|
| diff --git a/runtime/observatory/lib/src/elements/metrics.dart b/runtime/observatory/lib/src/elements/metrics.dart
|
| index 4c769c7342f4861e304173271069d6b88c0d9494..f3ac7e9267636726149319c8ad1beea378fc17cc 100644
|
| --- a/runtime/observatory/lib/src/elements/metrics.dart
|
| +++ b/runtime/observatory/lib/src/elements/metrics.dart
|
| @@ -155,8 +155,8 @@ class MetricsPageElement extends HtmlElement implements Renderable {
|
| ..value = _selected.name
|
| ..children = _available.map((metric) {
|
| return new OptionElement(
|
| - value: metric.name,
|
| - selected: _selected == metric)..text = metric.name;
|
| + value: metric.name, selected: _selected == metric)
|
| + ..text = metric.name;
|
| }).toList(growable: false)
|
| ..onChange.listen((_) {
|
| _selected = _available[s.selectedIndex];
|
|
|