| Index: branches/wmf/1.18wmf1/extensions/MobileFrontend/javascripts/opensearch.js |
| — | — | @@ -63,7 +63,7 @@ |
| 64 | 64 | var iw = ( document.documentElement.clientWidth ) ? document.documentElement.clientWidth : document.body.clientWidth; |
| 65 | 65 | sb.style.width = ( iw - 30 ) + pixels; |
| 66 | 66 | sq.style.width = ( iw - 110 ) + pixels; |
| 67 | | - search.style.width = ( iw - 140 ) + pixels; |
| | 67 | + search.style.width = ( iw - 130 ) + pixels; |
| 68 | 68 | if ( results ) { |
| 69 | 69 | results.style.width = ( sq.offsetWidth - 2 ) + pixels; |
| 70 | 70 | results.style.left = sq.offsetLeft + pixels; |
| — | — | @@ -77,13 +77,13 @@ |
| 78 | 78 | function updateOrientationSearchWidth() { |
| 79 | 79 | switch( window.orientation ) { |
| 80 | 80 | case 0: |
| 81 | | - updateSearchWidth(); |
| | 81 | + setTimeout( "updateSearchWidth()", 200 ); |
| 82 | 82 | break; |
| 83 | 83 | case 90: |
| 84 | | - updateSearchWidth(); |
| | 84 | + setTimeout( "updateSearchWidth()", 200 ); |
| 85 | 85 | break; |
| 86 | 86 | case -90: |
| 87 | | - updateSearchWidth(); |
| | 87 | + setTimeout( "updateSearchWidth()", 200 ); |
| 88 | 88 | break; |
| 89 | 89 | } |
| 90 | 90 | } |