(pressed, mapped)
| 1436 | return true; |
| 1437 | } |
| 1438 | function matchKeysPartial(pressed, mapped) { |
| 1439 | for (var i = 0; i < pressed.length; i++) { |
| 1440 | // 'character' means any character. For mark, register commads, etc. |
| 1441 | if (pressed[i] != mapped[i] && mapped[i] != 'character') { |
| 1442 | return false; |
| 1443 | } |
| 1444 | } |
| 1445 | return true; |
| 1446 | } |
| 1447 | function arrayIsSubsetFromBeginning(small, big) { |
| 1448 | for (var i = 0; i < small.length; i++) { |
| 1449 | if (small[i] != big[i]) { |