1 <!--- Verify that a large drop-down paints properly when scrolling it with the mousewheel --> 2 <script> 3 window.onload = function() { 4 var frag = document.createDocumentFragment(); 5 for (var i = 0; i < 100; i++) { 6 var opt = document.createElement('option'); 7 opt.textContent = 'option ' + i; 8 frag.appendChild(opt); 9 } 10 var select = document.querySelector('select'); 11 select.appendChild(frag); 12 } 13 </script> 14 <select></select> 15
