revision a252cf9244a71322911136ec3145fe76c87e0fcc
Problem source: https://bugzilla.mozilla.org/show_bug.cgi?id=968056
"keypress" is not triggered anymore for the tab key.
Solution: Hard-code useKeyDown: true in ext-all.js.