#407 Added Ctrl+Alt+K shortcut to toggle diff-based highlighting.