OLD | NEW |
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, 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 library timeline_page_element; | 5 library timeline_page_element; |
6 | 6 |
7 import 'dart:async'; | 7 import 'dart:async'; |
8 import 'dart:convert'; | 8 import 'dart:convert'; |
9 import 'dart:html'; | 9 import 'dart:html'; |
10 import 'observatory_element.dart'; | 10 import 'observatory_element.dart'; |
(...skipping 14 matching lines...) Expand all Loading... |
25 | 25 |
26 detached() { | 26 detached() { |
27 super.detached(); | 27 super.detached(); |
28 if (_resizeSubscription != null) { | 28 if (_resizeSubscription != null) { |
29 _resizeSubscription.cancel(); | 29 _resizeSubscription.cancel(); |
30 } | 30 } |
31 } | 31 } |
32 | 32 |
33 Future postMessage(String method) { | 33 Future postMessage(String method) { |
34 IFrameElement e = $['root']; | 34 IFrameElement e = $['root']; |
| 35 var isolateIds = new List(); |
| 36 for (var isolate in app.vm.isolates) { |
| 37 isolateIds.add(isolate.id); |
| 38 } |
35 var message = { | 39 var message = { |
36 'method': method, | 40 'method': method, |
37 'params': { | 41 'params': { |
38 'vmAddress': (app.vm as WebSocketVM).target.networkAddress | 42 'vmAddress': (app.vm as WebSocketVM).target.networkAddress, |
| 43 'isolateIds': isolateIds |
39 } | 44 } |
40 }; | 45 }; |
41 e.contentWindow.postMessage(JSON.encode(message), window.location.href); | 46 e.contentWindow.postMessage(JSON.encode(message), window.location.href); |
42 return null; | 47 return null; |
43 } | 48 } |
44 | 49 |
45 Future refresh() async { | 50 Future refresh() async { |
46 return postMessage('refresh'); | 51 return postMessage('refresh'); |
47 } | 52 } |
48 | 53 |
(...skipping 20 matching lines...) Expand all Loading... |
69 final top = e.offset.top; | 74 final top = e.offset.top; |
70 final bottomMargin = 32; | 75 final bottomMargin = 32; |
71 final mainHeight = totalHeight - top - bottomMargin; | 76 final mainHeight = totalHeight - top - bottomMargin; |
72 e.style.setProperty('height', '${mainHeight}px'); | 77 e.style.setProperty('height', '${mainHeight}px'); |
73 e.style.setProperty('width', '100%'); | 78 e.style.setProperty('width', '100%'); |
74 } | 79 } |
75 | 80 |
76 | 81 |
77 StreamSubscription _resizeSubscription; | 82 StreamSubscription _resizeSubscription; |
78 } | 83 } |
OLD | NEW |