Author: dsakovich Date: 2008-08-21 12:06:40 -0400 (Thu, 21 Aug 2008) New Revision: 9857 Modified: trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java Log: https://jira.jboss.org/jira/browse/JBIDE-2670 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 2008-08-21 14:55:54 UTC (rev 9856) +++ trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2008-08-21 16:06:40 UTC (rev 9857) @@ -1320,6 +1320,11 @@ } } } + + /* + * JBIDE-2670 + */ + keyEvent.stopPropagation(); } catch (Exception e) { VpePlugin.getPluginLog().logError(e); visualRefresh();