| OLD | NEW |
| 1 <script type="text/javascript"> | 1 <script type="text/javascript"> |
| 2 function SetSrc(src) { | 2 function SetSrc(src) { |
| 3 var plugin = document.getElementById('plugin'); | 3 var plugin = document.getElementById('plugin'); |
| 4 plugin.src = src; | 4 plugin.src = src; |
| 5 } | 5 } |
| 6 function SetSize(w, h) { | 6 function SetSize(w, h) { |
| 7 var plugin = document.getElementById('plugin'); | 7 var plugin = document.getElementById('plugin'); |
| 8 plugin.width = w; | 8 plugin.width = w; |
| 9 plugin.height = h; | 9 plugin.height = h; |
| 10 } | 10 } |
| (...skipping 11 matching lines...) Expand all Loading... |
| 22 } | 22 } |
| 23 function SetTitle(str) { | 23 function SetTitle(str) { |
| 24 document.title = str; | 24 document.title = str; |
| 25 } | 25 } |
| 26 | 26 |
| 27 window.document.title = 'embedder'; | 27 window.document.title = 'embedder'; |
| 28 </script> | 28 </script> |
| 29 | 29 |
| 30 <object id="plugin" | 30 <object id="plugin" |
| 31 tabindex="0" | 31 tabindex="0" |
| 32 type="application/new-browser-plugin" | 32 type="application/browser-plugin" |
| 33 width="640" | 33 width="640" |
| 34 height="480" | 34 height="480" |
| 35 border="0px"></object> | 35 border="0px"></object> |
| OLD | NEW |