| OLD | NEW |
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <html> | 2 <html> |
| 3 <script> | 3 <script> |
| 4 function test() { | 4 function test() { |
| 5 if (window.eventSender) { | 5 if (window.eventSender) { |
| 6 eventSender.mouseMoveTo(100, 100); | 6 eventSender.mouseMoveTo(100, 100); |
| 7 eventSender.continuousMouseScrollBy(0, -10000); | 7 eventSender.continuousMouseScrollBy(0, -10000); |
| 8 eventSender.mouseMoveTo(0, 0); | 8 eventSender.mouseMoveTo(0, 0); |
| 9 } | 9 } |
| 10 } | 10 } |
| 11 </script> | 11 </script> |
| 12 <body onload="test()"> | 12 <body onload="test()"> |
| 13 <select multiple id="sel" style="width:500px; height:300px;"></select> | 13 <select multiple id="sel" style="width:500px; height:300px;"></select> |
| 14 <script> | 14 <script> |
| 15 internals.settings.setScrollAnimatorEnabled(false); |
| 15 sel = document.getElementById("sel"); | 16 sel = document.getElementById("sel"); |
| 16 for (var i = 0; i < 50; i++) { | 17 for (var i = 0; i < 50; i++) { |
| 17 option = document.createElement("option"); | 18 option = document.createElement("option"); |
| 18 option.innerHTML = "Option " + i; | 19 option.innerHTML = "Option " + i; |
| 19 sel.appendChild(option); | 20 sel.appendChild(option); |
| 20 } | 21 } |
| 21 </script> | 22 </script> |
| 22 </body> | 23 </body> |
| 23 </html> | 24 </html> |
| OLD | NEW |