Author: yzhishko Date: 2010-04-08 11:55:56 -0400 (Thu, 08 Apr 2010) New Revision: 21353 Modified: trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java Log: https://jira.jboss.org/jira/browse/JBIDE-6145 - patch was applied to trunk Modified: trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java 2010-04-08 15:51:51 UTC (rev 21352) +++ trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java 2010-04-08 15:55:56 UTC (rev 21353) @@ -1056,12 +1056,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);