| 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 |