| 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 |