Index: trunk/phase3/skins/common/mwsuggest.js |
— | — | @@ -13,7 +13,6 @@ |
14 | 14 | var os_cache = {}; |
15 | 15 | // global variables for suggest_keypress |
16 | 16 | var os_cur_keypressed = 0; |
17 | | -var os_last_keypress = 0; |
18 | 17 | var os_keypressed_count = 0; |
19 | 18 | // type: Timer |
20 | 19 | var os_timer = null; |
— | — | @@ -553,7 +552,6 @@ |
554 | 553 | if(r == null) |
555 | 554 | return; // not our event |
556 | 555 | |
557 | | - os_last_keypress = 0; |
558 | 556 | // some browsers won't generate keypressed for arrow keys, catch it |
559 | 557 | if(os_keypressed_count == 0){ |
560 | 558 | os_processKey(r,os_cur_keypressed,targ); |
— | — | @@ -593,14 +591,6 @@ |
594 | 592 | return; // not our event |
595 | 593 | |
596 | 594 | var keypressed = os_cur_keypressed; |
597 | | - if(keypressed == 38 || keypressed == 40){ |
598 | | - var d = new Date() |
599 | | - var now = d.getTime(); |
600 | | - if(now - os_last_keypress < 120){ |
601 | | - return; |
602 | | - } |
603 | | - os_last_keypress = now; |
604 | | - } |
605 | 595 | |
606 | 596 | os_keypressed_count++; |
607 | 597 | os_processKey(r,keypressed,targ); |
Index: trunk/phase3/includes/DefaultSettings.php |
— | — | @@ -1588,7 +1588,7 @@ |
1589 | 1589 | * to ensure that client-side caches do not keep obsolete copies of global |
1590 | 1590 | * styles. |
1591 | 1591 | */ |
1592 | | -$wgStyleVersion = '236'; |
| 1592 | +$wgStyleVersion = '237'; |
1593 | 1593 | |
1594 | 1594 | |
1595 | 1595 | # Server-side caching: |