| <html> | |
| <head> | |
| <style type="text/css" media="Screen"> | |
| #leftColumn, #centreColumn { | |
| float: left; | |
| } | |
| </style> | |
| </head> | |
| <body> | |
| <div id="leftColumn"> | |
| <div>This is a test for rdar://5025925.</div> | |
| </div> | |
| <div id="centreColumn"> | |
| <div> The test succeeds if this does not hang or crash.</div> | |
| </div> | |
| | |
| <div></div> | |
| <script> | |
| var lefty = document.getElementById("leftColumn"); | |
| var center = document.getElementById("centreColumn"); | |
| lefty.offsetWidth; | |
| lefty.style.display = "none"; | |
| lefty.style.float = "none"; | |
| center.style.float = "none"; | |
| center.offsetWidth; | |
| lefty.style.display = "block"; | |
| lefty.style.float = "left"; | |
| center.style.float = "left"; | |
| </script> | |
| </body> | |
| </html> |