public Set<UserDefinedAction> isActivationRegistered(TaskActivation activation){
  Set<KeyChain> keyChainCollisions=new HashSet<>();
  for (  KeyChain code : activation.getHotkeys()) {
    KeyChain collision=isKeyRegistered(code);
    if (collision != null) {
      keyChainCollisions.add(collision);
    }
  }
  Set<UserDefinedAction> gestureCollisions=mouseGestureManager.areGesturesRegistered(activation.getMouseGestures());
  Set<UserDefinedAction> output=new HashSet<>();
  for (  KeyChain collision : keyChainCollisions) {
    output.add(actionMap.get(collision));
  }
  output.addAll(gestureCollisions);
  return output;
}

public Set < UserDefinedAction > isActivationRegistered ( TaskActivation activation ) { Set < KeyChain > keyChainCollisions = new HashSet < > ( ) ; for ( KeyChain code : activation . getHotkeys ( ) ) { KeyChain collision = isKeyRegistered ( code ) ; if ( collision != null ) { keyChainCollisions . add ( collision ) ; } } Set < UserDefinedAction > gestureCollisions = mouseGestureManager . areGesturesRegistered ( activation . getMouseGestures ( ) ) ; Set < UserDefinedAction > output = new HashSet < > ( ) ; for ( KeyChain collision : keyChainCollisions ) { output . add ( actionMap . get ( collision ) ) ; } output . addAll ( gestureCollisions ) ; return output ; }
check if an activation is already registered .
