| Index: runtime/observatory/lib/src/elements/isolate_view.dart
|
| diff --git a/runtime/observatory/lib/src/elements/isolate_view.dart b/runtime/observatory/lib/src/elements/isolate_view.dart
|
| index c82a305edd332677e20361d23ac7add2ec760bc3..f09f0422d9a8d8de5950d5088a4d081ab040469e 100644
|
| --- a/runtime/observatory/lib/src/elements/isolate_view.dart
|
| +++ b/runtime/observatory/lib/src/elements/isolate_view.dart
|
| @@ -134,7 +134,7 @@ class IsolateViewElement extends HtmlElement implements Renderable {
|
| void render() {
|
| final uptime = new DateTime.now().difference(_isolate.startTime);
|
| final libraries = _isolate.libraries.toList();
|
| - final List<Thread> threads = _isolate.threads;
|
| + final List<M.Thread> threads = _isolate.threads;
|
| children = [
|
| navBar([
|
| new NavTopMenuElement(queue: _r.queue),
|
| @@ -362,7 +362,7 @@ class IsolateViewElement extends HtmlElement implements Renderable {
|
| ];
|
| }
|
|
|
| - DivElement _populateThreadInfo(Thread t) {
|
| + DivElement _populateThreadInfo(M.Thread t) {
|
| int index = 0;
|
| return new DivElement()
|
| ..classes = ['indent']
|
|
|