Open
Description
As the title says, hotkeys should work the same, no matter, what keyboard layout is selected. For example, if I have the en-US
layout enabled, pressing Ctrl+V
pastes the clipboard contents. But if I switch to some other layout, like ru-RU
which doesn't have the same letter, where the V
key is physically located on the keyboard and press the same physical key combination, the Russian letter 'м' is inserted instead of the clipboard contents.
DrRacket: v7.9
OS: Manjaro Linux (basically Arch Linux)
DE: KDE Plasma 5.20.5
If you need any extra info, feel free to ask.