And I learned about AltGR WEur which is far better than us-alt int. for typing characters like umlauts on a US-keyboard. Now I also don’t have dead keys anymore which makes things better :)
And I learned about AltGR WEur which is far better than us-alt int. for typing characters like umlauts on a US-keyboard. Now I also don’t have dead keys anymore which makes things better :)