OLD | NEW |
1 <script type="text/javascript"> | 1 <script type="text/javascript"> |
| 2 var redirectOldUrl; |
| 3 var redirectNewUrl; |
| 4 function loadRedirect(event) { |
| 5 if (event.isTopLevel) { |
| 6 redirectOldUrl = event.oldUrl; |
| 7 redirectNewUrl = event.newUrl; |
| 8 } |
| 9 } |
| 10 function RedirectTo(url) { |
| 11 var plugin = document.getElementById('plugin'); |
| 12 plugin.addEventListener('loadRedirect', loadRedirect); |
| 13 plugin.src = url; |
| 14 } |
2 function SetSrc(src) { | 15 function SetSrc(src) { |
3 var plugin = document.getElementById('plugin'); | 16 var plugin = document.getElementById('plugin'); |
4 plugin.src = src; | 17 plugin.src = src; |
5 } | 18 } |
6 function SetSize(w, h) { | 19 function SetSize(w, h) { |
7 var plugin = document.getElementById('plugin'); | 20 var plugin = document.getElementById('plugin'); |
8 plugin.width = w; | 21 plugin.width = w; |
9 plugin.height = h; | 22 plugin.height = h; |
10 } | 23 } |
11 function Back() { | 24 function Back() { |
(...skipping 14 matching lines...) Expand all Loading... |
26 | 39 |
27 window.document.title = 'embedder'; | 40 window.document.title = 'embedder'; |
28 </script> | 41 </script> |
29 | 42 |
30 <object id="plugin" | 43 <object id="plugin" |
31 tabindex="0" | 44 tabindex="0" |
32 type="application/new-browser-plugin" | 45 type="application/new-browser-plugin" |
33 width="640" | 46 width="640" |
34 height="480" | 47 height="480" |
35 border="0px"></object> | 48 border="0px"></object> |
OLD | NEW |