Isso acontece com bastante frequência (muitas vezes eu reinstalo versões diferentes do gnome-terminal). Não sei a causa do problema, mas simplesmente removo o ícone antigo (aquele sem os "pontos") e bloqueio o novo ao lançador.
A partir das 16.10 (eu acho), iniciar o Terminal do Gnome faz com que um novo ícone apareça no lançador, com um ponto próximo a ele. Iniciar outra instância faz com que outro ponto apareça.
Como posso evitar esse comportamento?
Lembro de ver o Chrome fazendo isso e você precisava editar manualmente o arquivo .desktop
para evitar um segundo ícone. Alguma coisa semelhante funcionaria para o Gnome Terminal? Estou usando a versão 3.20.2.
Isso acontece com bastante frequência (muitas vezes eu reinstalo versões diferentes do gnome-terminal). Não sei a causa do problema, mas simplesmente removo o ícone antigo (aquele sem os "pontos") e bloqueio o novo ao lançador.