I've switched that off many years ago so I forgot that's even a thing. In my opi...

sgt on Aug 8, 2020 | parent | context | favorite | on: Ask HN: What feature did you find after years of u...

I've switched that off many years ago so I forgot that's even a thing. In my opinion the best way is to get hold of those characters with the option key. So if you need ñ you can just type option-n + n, or option-o for ø.