OLD | NEW |
1 <!doctype html> | 1 <!doctype html> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
5 <meta name="viewport" content="width=device-width, user-scalable=no"> | 5 <meta name="viewport" content="width=device-width, user-scalable=no"> |
6 <script> | 6 <script> |
7 window.onload = function() { | 7 window.onload = function() { |
8 if (plugin.didFinishLoading) | 8 if (plugin.didFinishLoading) |
9 plugin.didFinishLoading(); | 9 plugin.didFinishLoading(); |
10 }; | 10 }; |
(...skipping 73 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
84 document.getElementById('outer').onclick = function() { | 84 document.getElementById('outer').onclick = function() { |
85 plugin.load(); | 85 plugin.load(); |
86 }; | 86 }; |
87 | 87 |
88 window.resizePoster = function(marginLeft, marginTop, width, height) { | 88 window.resizePoster = function(marginLeft, marginTop, width, height) { |
89 var container = document.getElementById('inner-container'); | 89 var container = document.getElementById('inner-container'); |
90 container.style.marginLeft = marginLeft; | 90 container.style.marginLeft = marginLeft; |
91 container.style.marginTop = marginTop; | 91 container.style.marginTop = marginTop; |
92 container.style.width = width; | 92 container.style.width = width; |
93 container.style.height = height; | 93 container.style.height = height; |
| 94 |
| 95 if (plugin.didFinishIconRepositionForTesting) { |
| 96 // Defer until reflow complete. |
| 97 window.setTimeout(function() { |
| 98 plugin.didFinishIconRepositionForTesting(); |
| 99 }); |
| 100 } |
94 }; | 101 }; |
95 </script> | 102 </script> |
96 </body> | 103 </body> |
97 </html> | 104 </html> |
OLD | NEW |