OLD | NEW |
1 <script type="text/javascript"> | 1 <script type="text/javascript"> |
| 2 function loadAbort(evt) { |
| 3 document.title = evt.type; |
| 4 } |
| 5 function loadStart(evt) { |
| 6 document.title = evt.url; |
| 7 } |
2 function SetSrc(src) { | 8 function SetSrc(src) { |
3 var plugin = document.getElementById('plugin'); | 9 var plugin = document.getElementById('plugin'); |
4 plugin.src = src; | 10 plugin.src = src; |
5 } | 11 } |
6 function SetSize(w, h) { | 12 function SetSize(w, h) { |
7 var plugin = document.getElementById('plugin'); | 13 var plugin = document.getElementById('plugin'); |
8 plugin.width = w; | 14 plugin.width = w; |
9 plugin.height = h; | 15 plugin.height = h; |
10 } | 16 } |
11 function Back() { | 17 function Back() { |
12 var plugin = document.getElementById('plugin'); | 18 var plugin = document.getElementById('plugin'); |
13 plugin.back(); | 19 plugin.back(); |
14 } | 20 } |
15 function Forward() { | 21 function Forward() { |
16 var plugin = document.getElementById('plugin'); | 22 var plugin = document.getElementById('plugin'); |
17 plugin.forward(); | 23 plugin.forward(); |
18 } | 24 } |
19 function Go(relativeIndex) { | 25 function Go(relativeIndex) { |
20 var plugin = document.getElementById('plugin'); | 26 var plugin = document.getElementById('plugin'); |
21 plugin.go(relativeIndex); | 27 plugin.go(relativeIndex); |
22 } | 28 } |
23 function SetTitle(str) { | 29 function SetTitle(str) { |
24 document.title = str; | 30 document.title = str; |
25 } | 31 } |
26 | 32 document.title = 'embedder'; |
27 window.document.title = 'embedder'; | |
28 </script> | 33 </script> |
29 | 34 |
30 <object id="plugin" | 35 <object id="plugin" |
31 tabindex="0" | 36 tabindex="0" |
32 type="application/new-browser-plugin" | 37 type="application/new-browser-plugin" |
33 width="640" | 38 width="640" |
34 height="480" | 39 height="480" |
35 border="0px"></object> | 40 border="0px"></object> |
| 41 |
| 42 <script> |
| 43 var plugin = document.getElementById('plugin'); |
| 44 plugin.addEventListener('loadStart', loadStart); |
| 45 plugin.addEventListener('loadAbort', loadAbort); |
| 46 </script> |
OLD | NEW |