Acabei de atualizar para 13.10 e descobri que Ctrl + Alt + T irá agora lançar o ROXTerm (do qual eu nem sequer ouvido antes). Abrir um "Terminal" do Dash ainda abre o antigo terminal do gnome.
Por que isso mudou com a atualização e como eu posso (ou não devo?) definir o terminal do gnome como padrão novamente?
Usando
sudo update-alternatives --config x-terminal-emulator
Eu poderia abrir um menu para escolher o terminal gnome mais uma vez. Parece funcionar bem até agora. O ROXTerm parece ter mais opções, mas não saber como ele se tornou meu terminal padrão me fez querer voltar atrás.