anchor.diff:          domElement.focus();
         }
       }));
  +
  +    preventDefaultForMouseEvents();
     }
   
     @override
  
positive.code: 
      // Re-focuses after setting editing state.
      domElement.focus();
    }
  }
  
  
negative.code:         domElement.focus();
        }
      }));
  
      preventDefaultForMouseEvents();
    }
  }
  
  