| <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> |
