document.addEventListener('keydown', e => { console.log(e) });
document.addEventListener("keydown", (e) => { console.log(e); });
[0] https://prettier.io/
Personally, I wouldn't want a niche diff tool globally wrapping my diff views. I'd worry too much about missing something important.
And I agree that it's also a tough sell to get your teammates to all use this one particular diff tool.
[0] https://prettier.io/