OLD | NEW |
1 <html> | 1 <html> |
2 <head> | 2 <head> |
3 | 3 |
4 <script type="text/javascript"> | 4 <script type="text/javascript"> |
5 | 5 |
6 function changeColWidthUsingWidth() | 6 function changeColWidthUsingWidth() |
7 { | 7 { |
8 var column = document.getElementById("col"); | 8 var column = document.getElementById("col"); |
9 column.width = "500px"; | 9 column.width = "500px"; |
10 } | 10 } |
(...skipping 26 matching lines...) Expand all Loading... |
37 <script> | 37 <script> |
38 if (window.eventSender) { | 38 if (window.eventSender) { |
39 eventSender.mouseMoveTo(50, 75); | 39 eventSender.mouseMoveTo(50, 75); |
40 eventSender.mouseDown(); | 40 eventSender.mouseDown(); |
41 eventSender.mouseUp(); | 41 eventSender.mouseUp(); |
42 } | 42 } |
43 </script> | 43 </script> |
44 | 44 |
45 </body> | 45 </body> |
46 </html> | 46 </html> |
OLD | NEW |