OLD | NEW |
1 #import ("dart:html"); | 1 #import ("dart:html"); |
2 #import ("dart:htmlimpl"); | |
3 #import ("dart:dom", prefix:"dom"); | 2 #import ("dart:dom", prefix:"dom"); |
4 #import ("dart:json"); | 3 #import ("dart:json"); |
5 | 4 |
6 // Workaround for HTML lib missing feature. | 5 // Workaround for HTML lib missing feature. |
7 Range newRange() { | 6 Range newRange() { |
8 return LevelDom.wrapRange(dom.document.createRange()); | 7 return LevelDom.wrapRange(dom.document.createRange()); |
9 } | 8 } |
10 | 9 |
11 // Temporary range object to optimize performance computing client rects | 10 // Temporary range object to optimize performance computing client rects |
12 // from text nodes. | 11 // from text nodes. |
(...skipping 1296 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1309 | 1308 |
1310 void documentLoaded(event) { | 1309 void documentLoaded(event) { |
1311 // Load the database of expected methods and properties with an | 1310 // Load the database of expected methods and properties with an |
1312 // XMLHttpRequest. | 1311 // XMLHttpRequest. |
1313 new XMLHttpRequest.getTEMPNAME('${window.location}.json', (req) { | 1312 new XMLHttpRequest.getTEMPNAME('${window.location}.json', (req) { |
1314 data = JSON.parse(req.responseText); | 1313 data = JSON.parse(req.responseText); |
1315 dbEntry = {'members': [], 'srcUrl': pageUrl}; | 1314 dbEntry = {'members': [], 'srcUrl': pageUrl}; |
1316 run(); | 1315 run(); |
1317 }); | 1316 }); |
1318 } | 1317 } |
OLD | NEW |