OLD | NEW |
(Empty) | |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 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. |
| 4 |
| 5 library script_inset_element; |
| 6 |
| 7 import 'observatory_element.dart'; |
| 8 import 'package:observatory/service.dart'; |
| 9 import 'package:polymer/polymer.dart'; |
| 10 |
| 11 /// Displays an Error response. |
| 12 @CustomTag('script-inset') |
| 13 class ScriptInsetElement extends ObservatoryElement { |
| 14 @published Script script; |
| 15 @published int pos; |
| 16 |
| 17 @observable List<ScriptLine> lines = toObservable([]); |
| 18 |
| 19 void scriptChanged(oldValue) { |
| 20 _updateProperties(); |
| 21 } |
| 22 |
| 23 void posChanged(oldValue) { |
| 24 _updateProperties(); |
| 25 } |
| 26 |
| 27 void _updateProperties() { |
| 28 if (!script.loaded) { |
| 29 script.load().then((_) { |
| 30 if (script.loaded) { |
| 31 _updateProperties(); |
| 32 } |
| 33 }); |
| 34 return; |
| 35 } |
| 36 notifyPropertyChange(#lines, 0, 1); |
| 37 var lineNumber = script.tokenToLine(pos); |
| 38 lines.clear(); |
| 39 lines.add(script.lines[lineNumber-1]); |
| 40 } |
| 41 |
| 42 ScriptInsetElement.created() : super.created(); |
| 43 } |
OLD | NEW |