Aparentemente, adicionar um novo teclado Input Source (em System Settings - > Text Entry ) e, em seguida, selecionar novamente o anterior corrigiu o problema.
Edit: eu também corri sudo apt-get install --reinstall ubuntu-desktop antes da reinicialização, então isso também poderia ser a razão pela qual o problema desapareceu.