Hot answers tagged keyboard
It's working now. Here's all I changed, maybe it helps somebody else: Changed the keyboard type to 'Generic, 105 keys, intl.', using the "sudo dpkg-reconfigure keyboard-configuration" command. Removed all 'input sources to use' from the list, except one. Finally, in 'System Settings' -> 'Keyboard' -> 'Shortcuts' -> 'Typing', set 'Alternate Characters Key' ...
Only top voted, non community-wiki answers of a minimum length are eligible