Desde que fiz a pergunta, mudei para Linux Mint 17 na área de trabalho do Cinnamon. A área de trabalho do Cinnamon oferece as mesmas opções para alternar temporariamente os layouts disponíveis no Ubuntu 12.04, incluindo a opção de manter uma tecla específica para alternar temporariamente os layouts do teclado.