OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 debugger_page_element; | 5 library debugger_page_element; |
6 | 6 |
7 import 'dart:async'; | 7 import 'dart:async'; |
8 import 'dart:html'; | 8 import 'dart:html'; |
9 import 'observatory_element.dart'; | 9 import 'observatory_element.dart'; |
10 import 'package:observatory/app.dart'; | 10 import 'package:observatory/app.dart'; |
(...skipping 1766 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1777 int fixedHeight = navbarHeight + splitterHeight + cmdHeight; | 1777 int fixedHeight = navbarHeight + splitterHeight + cmdHeight; |
1778 int available = windowHeight - fixedHeight; | 1778 int available = windowHeight - fixedHeight; |
1779 int stackHeight = available ~/ 1.6; | 1779 int stackHeight = available ~/ 1.6; |
1780 stackDiv.style.setProperty('height', '${stackHeight}px'); | 1780 stackDiv.style.setProperty('height', '${stackHeight}px'); |
1781 } | 1781 } |
1782 | 1782 |
1783 @override | 1783 @override |
1784 void detached() { | 1784 void detached() { |
1785 debugger.isolate = null; | 1785 debugger.isolate = null; |
1786 _resizeSubscription.cancel(); | 1786 _resizeSubscription.cancel(); |
1787 _resizeSubscrption = null; | 1787 _resizeSubscription = null; |
1788 cancelFutureSubscription(_isolateSubscriptionFuture); | 1788 cancelFutureSubscription(_isolateSubscriptionFuture); |
1789 _isolateSubscriptionFuture = null; | 1789 _isolateSubscriptionFuture = null; |
1790 cancelFutureSubscription(_debugSubscriptionFuture); | 1790 cancelFutureSubscription(_debugSubscriptionFuture); |
1791 _debugSubscriptionFuture = null; | 1791 _debugSubscriptionFuture = null; |
1792 cancelFutureSubscription(_stdoutSubscriptionFuture); | 1792 cancelFutureSubscription(_stdoutSubscriptionFuture); |
1793 _stdoutSubscriptionFuture = null; | 1793 _stdoutSubscriptionFuture = null; |
1794 cancelFutureSubscription(_stderrSubscriptionFuture); | 1794 cancelFutureSubscription(_stderrSubscriptionFuture); |
1795 _stderrSubscriptionFuture = null; | 1795 _stderrSubscriptionFuture = null; |
1796 cancelFutureSubscription(_logSubscriptionFuture); | 1796 cancelFutureSubscription(_logSubscriptionFuture); |
1797 _logSubscriptionFuture = null; | 1797 _logSubscriptionFuture = null; |
(...skipping 561 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2359 } | 2359 } |
2360 }); | 2360 }); |
2361 } | 2361 } |
2362 | 2362 |
2363 void focus() { | 2363 void focus() { |
2364 $['textBox'].focus(); | 2364 $['textBox'].focus(); |
2365 } | 2365 } |
2366 | 2366 |
2367 DebuggerInputElement.created() : super.created(); | 2367 DebuggerInputElement.created() : super.created(); |
2368 } | 2368 } |
OLD | NEW |