FYI you can export your shortcuts (and other settings): https://www.jetbrains.com/help/idea/sharing-your-ide-settings.html https://www.jetbrains.com/help/idea/s

FYI you can export your shortcuts (and other settings): https://www.jetbrains.com/help/idea/sharing-your-ide-settings.html https://www.jetbrains.com/help/idea/sharing-your-ide-setting...