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 trydart.editor; | 5 library trydart.editor; |
6 | 6 |
7 import 'dart:html'; | 7 import 'dart:html'; |
8 | 8 |
9 import 'package:compiler/implementation/scanner/scannerlib.dart' | 9 import 'package:compiler/implementation/scanner/scannerlib.dart' |
10 show | 10 show |
(...skipping 102 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
113 int type = anchorNode.nodeType; | 113 int type = anchorNode.nodeType; |
114 if (type != Node.TEXT_NODE) return null; | 114 if (type != Node.TEXT_NODE) return null; |
115 Text text = anchorNode; | 115 Text text = anchorNode; |
116 var parent = text.parent; | 116 var parent = text.parent; |
117 if (parent is! Element) return null; | 117 if (parent is! Element) return null; |
118 if (mainEditorPane == parent) return null; | 118 if (mainEditorPane == parent) return null; |
119 return parent; | 119 return parent; |
120 } | 120 } |
121 | 121 |
122 bool isMalformedInput = false; | 122 bool isMalformedInput = false; |
123 String currentSource = ""; | |
124 | 123 |
125 addDiagnostic(String kind, String message, int begin, int end) { | 124 addDiagnostic(String kind, String message, int begin, int end) { |
126 observer.disconnect(); | 125 observer.disconnect(); |
127 Selection selection = window.getSelection(); | 126 Selection selection = window.getSelection(); |
128 int offset = 0; | 127 int offset = 0; |
129 int anchorOffset = 0; | 128 int anchorOffset = 0; |
130 bool hasSelection = false; | 129 bool hasSelection = false; |
131 Node anchorNode = selection.anchorNode; | 130 Node anchorNode = selection.anchorNode; |
132 bool foundNode = false; | 131 bool foundNode = false; |
133 void walk4(Node node) { | 132 void walk4(Node node) { |
(...skipping 85 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
219 | 218 |
220 diagnostic(text, tip) { | 219 diagnostic(text, tip) { |
221 if (text is String) { | 220 if (text is String) { |
222 text = new Text(text); | 221 text = new Text(text); |
223 } | 222 } |
224 return new AnchorElement() | 223 return new AnchorElement() |
225 ..classes.add('diagnostic') | 224 ..classes.add('diagnostic') |
226 ..append(text) | 225 ..append(text) |
227 ..append(tip); | 226 ..append(tip); |
228 } | 227 } |
OLD | NEW |