Como consertar o cursor do Terminal do GNOME?

Question

Estou usando o awesome 3.4.11 no Ubuntu 12.04, e meu terminal padrão é o Terminal GNOME 3.4.1.1. Depois de iniciar vários terminais, parece que o comportamento do cursor é desconectado do foco da janela em alguns deles:

• Não pisca quando a janela está focada
• Pisca mesmo quando a janela não tem foco

Não parece ser reproduzível. Atualmente tenho quatro terminais abertos em uma tela. Dois deles funcionam como esperado (o cursor começa a piscar quando a janela recebe o foco, reverte para um retângulo estático ao alterar o foco), enquanto dois deles piscam constantemente. Todos os terminais funcionam bem com relação à entrada do teclado quando focados. reset não ajuda.

    

Answer 1

Isso é um problema conhecido .

Parece que há um patch em andamento, mas até o momento desta publicação ainda não foi aplicado a nenhuma distribuição do Linux.