Index: trunk/extensions/MobileFrontend/javascripts/opensearch.js |
— | — | @@ -15,20 +15,19 @@ |
16 | 16 | var sb = document.getElementById( 'searchbox' ); |
17 | 17 | |
18 | 18 | function updateSearchWidth() { |
19 | | - if ( sq && search && sb ) { |
| 19 | + if ( sq && search && sb && results ) { |
20 | 20 | var iw = ( document.documentElement.clientWidth ) ? document.documentElement.clientWidth : document.body.clientWidth; |
21 | 21 | sb.style.width = ( iw - 30 ) + pixels; |
22 | 22 | sq.style.width = ( iw - 110 ) + pixels; |
23 | 23 | search.style.width = ( iw - 140 ) + pixels; |
| 24 | + results.style.width = ( sq.offsetWidth - 2 ) + pixels; |
| 25 | + results.style.left = sq.offsetLeft + pixels; |
| 26 | + results.style.top = ( sq.offsetTop + sq.offsetHeight ) + pixels; |
24 | 27 | } |
25 | 28 | } |
26 | 29 | |
27 | 30 | updateSearchWidth(); |
28 | 31 | |
29 | | -results.style.width = ( sq.offsetWidth - 2 ) + pixels; |
30 | | -results.style.left = sq.offsetLeft + pixels; |
31 | | -results.style.top = ( sq.offsetTop + sq.offsetHeight ) + pixels; |
32 | | - |
33 | 32 | function updateOrientationSearchWidth() { |
34 | 33 | switch( window.orientation ) { |
35 | 34 | case 0: |
Index: trunk/extensions/MobileFrontend/views/layout/application.html.php |
— | — | @@ -18,7 +18,7 @@ |
19 | 19 | $endScriptTag = '"></script>'; |
20 | 20 | $javaScriptPath = $wgExtensionAssetsPath . '/MobileFrontend/javascripts/'; |
21 | 21 | |
22 | | -$openSearchScript = ( self::$isBetaGroupMember ) ? $startScriptTag . $javaScriptPath . 'opensearch.js?version=10282011120819' . $endScriptTag : ''; |
| 22 | +$openSearchScript = ( self::$isBetaGroupMember ) ? $startScriptTag . $javaScriptPath . 'opensearch.js?version=10282011121527' . $endScriptTag : ''; |
23 | 23 | |
24 | 24 | $applicationHtml = <<<EOT |
25 | 25 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |