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 bool loadStarted = false; | |
17 | |
18 @observable List<ScriptLine> lines = toObservable([]); | |
19 | |
20 void scriptChanged(oldValue) { | |
21 loadStarted = false; | |
Cutch
2014/03/28 20:22:32
Maybe add a TODO to move this load state tracking
| |
22 _updateProperties(); | |
23 } | |
24 | |
25 void posChanged(oldValue) { | |
26 loadStarted = false; | |
27 _updateProperties(); | |
28 } | |
29 | |
30 void _updateProperties() { | |
31 if (!script.loaded) { | |
32 if (!loadStarted) { | |
33 loadStarted = true; | |
34 script.load().then((_) { | |
35 if (script.loaded) { | |
36 _updateProperties(); | |
37 } | |
38 }); | |
39 } | |
40 return; | |
41 } | |
42 notifyPropertyChange(#lines, 0, 1); | |
43 var lineNumber = script.tokenToLine(pos); | |
44 lines.clear(); | |
45 lines.add(script.lines[lineNumber-1]); | |
46 } | |
47 | |
48 ScriptInsetElement.created() : super.created(); | |
49 } | |
OLD | NEW |