TopPanel.java 文件源码

@Override
public void injectEvents(HandlerManager eventBus) {
    // TODO Auto-generated method stub
    eventBus.addHandler(RVKeyDownEvent.type, new RVKeyDownEventHandler() {

        @Override
        public void onKeyDown(RVKeyDownEvent event) {

            KeyDownEvent keyDownEvent = event.getEvent();
            if (keyDownEvent.isControlKeyDown() && keyDownEvent.isShiftKeyDown()
                    && keyDownEvent.getNativeEvent().getKeyCode() == 39) {
                // Ctrl + Shift + ->
                keyDownEvent.getNativeEvent().preventDefault();
                nextBatchPage();
            }
        }
    });

}