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