I finally installed the ibus package, ran `ibus-setup` and deleted all keyboards except: US (intl., with AltGr deadkeys). I guess something has to die before I can type an accent mark. There must be an easier way.
@jamiem I added the English (US, intl., with dead keys) keyboard under settings, region and language. Not perfect but usable for Spanish/English.
@Matt_Noyes Thanks. I'm sorting this out for myself (not on Gnome) and also for a colleague (on Gnome). I couldn't find that setting in Gnome - but of course should have looked in Region.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!