O PROBLEMA: Estou achando que o gedit está trabalhando incrivelmente lento quando há alterações não salvas. O ponteiro do mouse pisca e a digitação é dolorosamente lenta.
CORREÇÕES PARCIAIS: Assim que salvar as alterações que fiz no arquivo, ele imediatamente acelera novamente até que eu faça mais algumas alterações. Além disso, descobri que executar o gedit como root corrige completamente o problema - ele nunca fica lento, independentemente de haver alterações não salvas ou não.
JÁ TENTOI: desabilitei todos os plugins do gedit, e o problema persiste.
Estou extremamente relutante em trabalhar com gedit
em sudo
. Alguém tem alguma ideia do que está acontecendo aqui? Eu procurei por um tempo, mas não encontrei ninguém com o mesmo problema ...