| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 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 | 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 eval_box_element; | 5 library eval_box_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:polymer/polymer.dart'; | 10 import 'package:polymer/polymer.dart'; |
| 11 | 11 |
| 12 | 12 |
| 13 typedef Future<ObservableMap> evalType(String text); | 13 typedef Future evalType(String text); |
| 14 | 14 |
| 15 | 15 |
| 16 @CustomTag('eval-box') | 16 @CustomTag('eval-box') |
| 17 class EvalBoxElement extends ObservatoryElement { | 17 class EvalBoxElement extends ObservatoryElement { |
| 18 @observable String text; | 18 @observable String text; |
| 19 @observable String lineMode = "1-line"; | 19 @observable String lineMode = "1-line"; |
| 20 | 20 |
| 21 @published evalType callback; | 21 @published evalType callback; |
| 22 @observable ObservableList results = toObservable([]); | 22 @observable ObservableList results = toObservable([]); |
| 23 | 23 |
| (...skipping 24 matching lines...) Expand all Loading... |
| 48 } | 48 } |
| 49 | 49 |
| 50 void selectExpr(MouseEvent e) { | 50 void selectExpr(MouseEvent e) { |
| 51 assert(e.target is Element); | 51 assert(e.target is Element); |
| 52 Element targetElement = e.target; | 52 Element targetElement = e.target; |
| 53 text = targetElement.getAttribute('expr'); | 53 text = targetElement.getAttribute('expr'); |
| 54 } | 54 } |
| 55 | 55 |
| 56 EvalBoxElement.created() : super.created(); | 56 EvalBoxElement.created() : super.created(); |
| 57 } | 57 } |
| OLD | NEW |