| OLD | NEW |
| 1 <!doctype html> | 1 <!doctype html> |
| 2 <html> | 2 <html> |
| 3 <head> | 3 <head> |
| 4 <style> | 4 <style> |
| 5 body { overflow:hidden; } | 5 body { overflow:hidden; } |
| 6 | 6 |
| 7 .testDiv { | 7 .testDiv { |
| 8 width: 200px; | 8 width: 200px; |
| 9 height: 20px; | 9 height: 20px; |
| 10 border: 1px solid black; | 10 border: 1px solid black; |
| (...skipping 64 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 75 const range = document.createRange(); | 75 const range = document.createRange(); |
| 76 range.setStart(text, markerRange[0]); | 76 range.setStart(text, markerRange[0]); |
| 77 range.setEnd(text, markerRange[0] + markerRange[1]); | 77 range.setEnd(text, markerRange[0] + markerRange[1]); |
| 78 if (window.internals) | 78 if (window.internals) |
| 79 internals.setMarker(document, range, 'grammar'); | 79 internals.setMarker(document, range, 'grammar'); |
| 80 }); | 80 }); |
| 81 }); | 81 }); |
| 82 </script> | 82 </script> |
| 83 </body> | 83 </body> |
| 84 </html> | 84 </html> |
| OLD | NEW |