Eu instalei o Komodo Edit 7.0.2 e tive que criar um arquivo .desktop personalizado para lançá-lo no dash do Gnome Shell - veja link
Tudo estava funcionando bem: um clique no lançador e seu ícone se tornava "ativo", o que significa que o aplicativo agora estava em execução, com a capacidade de alternar entre janelas, etc.
Desde que eu aceitei a atualização automática para o Komodo Edit 7.1 em 17 de julho, meu lançador ainda lança o aplicativo, mas às vezes não fica "ativo", e um novo ícone de baixa resolução do Komodo aparece no painel - o ícone de baixa resolução no painel carece de capacidade para adicionar como favorito ou abrir uma nova janela de aplicativo.
Você tem alguma ideia de como consertar isso? Onde eu deveria dar uma olhada?
Agradecemos antecipadamente por suas respostas.
Tags gnome-shell komodo dash