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) {