Author: yzhishko Date: 2009-11-18 05:24:52 -0500 (Wed, 18 Nov 2009) New Revision: 18725 Modified: trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java Log: Modified: trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2009-11-18 01:01:32 UTC (rev 18724) +++ trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2009-11-18 10:24:52 UTC (rev 18725) @@ -1258,14 +1258,14 @@ } public void keyPress(nsIDOMKeyEvent keyEvent) { - // if (VpeDebug.PRINT_VISUAL_KEY_EVENT) { - System.out.println("<<< keyPress type: " + keyEvent.getType() + //$NON-NLS-1$ - " Ctrl: " - + keyEvent.getCtrlKey() - + " Shift: " + keyEvent.getShiftKey() + //$NON-NLS-1$ //$NON-NLS-2$ - " CharCode: " + keyEvent.getCharCode() - + " KeyCode: " + keyEvent.getKeyCode()); //$NON-NLS-1$ //$NON-NLS-2$ - // } + if (VpeDebug.PRINT_VISUAL_KEY_EVENT) { + System.out.println("<<< keyPress type: " + keyEvent.getType() + //$NON-NLS-1$ + " Ctrl: " + + keyEvent.getCtrlKey() + + " Shift: " + keyEvent.getShiftKey() + //$NON-NLS-1$ //$NON-NLS-2$ + " CharCode: " + keyEvent.getCharCode() + + " KeyCode: " + keyEvent.getKeyCode()); //$NON-NLS-1$ //$NON-NLS-2$ + } if (!switcher .startActiveEditor(ActiveEditorSwitcher.ACTIVE_EDITOR_VISUAL)) { switcher.stopActiveEditor(); @@ -2875,7 +2875,8 @@ float currentZoom = zoomEventManager.getCurrentZoom(); zoomEventManager = new ZoomEventManager(getXulRunnerEditor()); zoomEventManager.setCurrentZoom(currentZoom); - ((KeyEventManager)keyEventHandler).setZoomEventManager(zoomEventManager); + ((KeyEventManager) keyEventHandler) + .setZoomEventManager(zoomEventManager); // restore selection in visula part sourceSelectionChanged(); } catch (VpeDisposeException ex) {