OLD | NEW |
1 <body> | 1 <body> |
2 <script src="../../resources/js-test.js"></script> | 2 <script src="../../resources/js-test.js"></script> |
3 <script> | 3 <script> |
4 (function() { | 4 (function() { |
5 (function() { | 5 (function() { |
6 var theElement = document.createElement("details"); | 6 var theElement = document.createElement("details"); |
7 document.body.appendChild(theElement); | 7 document.body.appendChild(theElement); |
8 theElement.addEventListener("DOMNodeRemovedFromDocument", function () {
eventSender.keyDown("\t"); }, false); | 8 theElement.addEventListener("DOMNodeRemovedFromDocument", function () {
eventSender.keyDown("\t"); }, false); |
9 theElement.parentNode.removeChild(theElement); | 9 theElement.parentNode.removeChild(theElement); |
10 })(); | 10 })(); |
11 gc(); | 11 gc(); |
12 debug("PASS unless crash"); | 12 debug("PASS unless crash"); |
13 })(); | 13 })(); |
14 </script> | 14 </script> |
15 </body> | 15 </body> |
OLD | NEW |