increaseValue(true);
} else if (DOM.eventGetType(event) == Event.MOUSEEVENTS) {
processBaseEvent(event);
- } else if (BrowserInfo.get().isGecko()
- && DOM.eventGetType(event) == Event.ONKEYPRESS
- || !BrowserInfo.get().isGecko()
- && DOM.eventGetType(event) == Event.ONKEYDOWN) {
-
+ } else if (isNavigationEvent(event)) {
if (handleNavigation(event.getKeyCode(), event.getCtrlKey(),
event.getShiftKey())) {
}
}
+ private boolean isNavigationEvent(Event event) {
+ if (BrowserInfo.get().isGecko() && BrowserInfo.get().getGeckoVersion() < 65) {
+ return DOM.eventGetType(event) == Event.ONKEYPRESS;
+ } else {
+ return DOM.eventGetType(event) == Event.ONKEYDOWN;
+ }
+ }
+
private void processMouseWheelEvent(final Event event) {
final int dir = DOM.eventGetMouseWheelVelocityY(event);