Index: runtime/observatory/lib/src/elements/objectpool_view.dart |
diff --git a/runtime/observatory/lib/src/elements/objectpool_view.dart b/runtime/observatory/lib/src/elements/objectpool_view.dart |
index 1ba83f2fdcc3ff8972a4de5c307a7868d34f31f4..9d26998cfe48ecbc27a07dbb9c4adc63b93a4d6d 100644 |
--- a/runtime/observatory/lib/src/elements/objectpool_view.dart |
+++ b/runtime/observatory/lib/src/elements/objectpool_view.dart |
@@ -129,7 +129,7 @@ class ObjectPoolViewElement extends HtmlElement implements Renderable { |
}), |
new NavNotifyElement(_notifications, queue: _r.queue) |
], |
- new DivElement()..classes = const ['content-centered-big'] |
+ new DivElement()..classes = ['content-centered-big'] |
..children = [ |
new HeadingElement.h2()..text = 'Object Pool', |
new HRElement(), |
@@ -138,14 +138,14 @@ class ObjectPoolViewElement extends HtmlElement implements Renderable { |
_instances, queue: _r.queue), |
new HRElement(), |
new HeadingElement.h3()..text = 'entries (${_pool.entries.length})', |
- new DivElement()..classes = const ['memberList'] |
+ new DivElement()..classes = ['memberList'] |
..children = _pool.entries.map((entry) |
- => new DivElement()..classes = const ['memberItem'] |
+ => new DivElement()..classes = ['memberItem'] |
..children = [ |
- new DivElement()..classes = const ['memberName', |
+ new DivElement()..classes = ['memberName', |
'hexadecimal'] |
..text = '[PP+0x${entry.offset.toRadixString(16)}]', |
- new DivElement()..classes = const ['memberName'] |
+ new DivElement()..classes = ['memberName'] |
..children = _createEntry(entry) |
]).toList(), |
new HRElement(), |