OLD | NEW |
1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
5 <script src="../../fast/js/resources/js-test-pre.js"></script> | 5 <script src="../../resources/js-test.js"></script> |
6 <style type="text/css"> | 6 <style type="text/css"> |
7 .selectionDisabled { -webkit-user-select: none; } | 7 .selectionDisabled { -webkit-user-select: none; } |
8 .selectionEnabled { -webkit-user-select: auto; } | 8 .selectionEnabled { -webkit-user-select: auto; } |
9 </style> | 9 </style> |
10 </head> | 10 </head> |
11 <body> | 11 <body> |
12 <div id="container"></div> | 12 <div id="container"></div> |
13 <pre id="console" style="visibility: hidden;"></pre> | 13 <pre id="console" style="visibility: hidden;"></pre> |
14 <script> | 14 <script> |
15 function log(message) | 15 function log(message) |
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
48 testFindString("insurmountable mountain", "Wally", disableSelection, "fa
lse"); | 48 testFindString("insurmountable mountain", "Wally", disableSelection, "fa
lse"); |
49 } | 49 } |
50 } | 50 } |
51 | 51 |
52 document.getElementById("console").style.removeProperty("visibility"); | 52 document.getElementById("console").style.removeProperty("visibility"); |
53 | 53 |
54 var successfullyParsed = true; | 54 var successfullyParsed = true; |
55 </script> | 55 </script> |
56 </body> | 56 </body> |
57 </html> | 57 </html> |
OLD | NEW |