Por que algumas abas do terminal gnome parecem deprimidas

Question

No meu sistema Ubuntu 12.04 Linux 3.2.0-43 genérico com AMD Athlon 64 X2 5000+ cpu, com desktop Unity, desktop-session do ubuntu-2d e gerenciador de janelas do Metacity, algumas das guias em um Terminal do GNOME 3.4 .1.1 aparência parece com botões deprimidos, enquanto outros não. As aparições quando clico em uma guia e, em seguida, clico no painel são ilustradas abaixo (em cinco imagens, para cinco guias da esquerda para a direita).

Quando o painel para a guia 1021 está em uso (primeira foto), a guia sp parece um botão pressionado (ou talvez selecionado). Quando o painel para a guia sp está em uso (segunda imagem), outras guias aparecem corretamente desmarcadas. Quando o painel para a guia py está em uso (quarta imagem), a guia ipy --pylab parece selecionada e vice-versa.

Pergunta: Por que algumas guias são exibidas de forma diferente das outras?

Note, para referência, a figura abaixo mostra a aparência após a sequência de clicar na aba ip --pylab e depois na aba 1021 (sem cliques nos painéis).