Author: yzhishko Date: 2010-04-22 03:58:31 -0400 (Thu, 22 Apr 2010) New Revision: 21601 Modified: branches/jbosstools-3.1.x/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java Log: https://jira.jboss.org/jira/browse/JBIDE-6145 - patch is applied Modified: branches/jbosstools-3.1.x/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java =================================================================== --- branches/jbosstools-3.1.x/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java 2010-04-22 07:55:10 UTC (rev 21600) +++ branches/jbosstools-3.1.x/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java 2010-04-22 07:58:31 UTC (rev 21601) @@ -1065,12 +1065,15 @@ IHandlerService handlerService = (IHandlerService) workbench .getService(IHandlerService.class); if (handlerService != null) { + if(sourceActivation != null) handlerService.deactivateHandler(sourceActivation); sourceActivation = handlerService.activateHandler( VPE_SOURCE_MAXMIN, sourceMaxmin); + if(visualActivation != null) handlerService.deactivateHandler(visualActivation); visualActivation = handlerService.activateHandler( VPE_VISUAL_MAXMIN, visualMaxmin); + if(jumpingActivation != null) handlerService.deactivateHandler(jumpingActivation); jumpingActivation = handlerService.activateHandler( VPE_JUMPING, jumping);