| <!DOCTYPE html> | |
| <html> | |
| <body> | |
| <script src="../../resources/js-test.js"></script> | |
| <script id="script1"> | |
| document.addEventListener("DOMCharacterDataModified",function(){ | |
| document.body.innerHTML = "PASS. WebKit didn't crash."; | |
| gc(); | |
| finishJSTest(); | |
| },true); | |
| </script> | |
| <script> | |
| window.jsTestIsAsync = true; | |
| var scriptElement = document.getElementById('script1'); | |
| scriptElement.parentNode.appendChild(scriptElement.firstChild); | |
| scriptElement.parentNode.removeChild(scriptElement); | |
| document.designMode = "on"; | |
| document.execCommand("SelectAll"); | |
| document.execCommand("FontSizeDelta", false, 3); | |
| </script> | |
| </body> | |
| </html> | |