Na foto é mostrado o que funciona e o que não funciona (também não funciona para descrições de aviso no código).
Versão atual do Gnome 3.14.1. Eu tentei alterar as configurações de estilo de janela com gnome-tweak-tool, mas isso não mudou a aparência. O que mais eu poderia tentar? Funcionou bem com o Debian Wheezy, por ex. Gnome 3.4 (e provavelmente alguns dias atrás, antes de instalar os muitos upgrades diários que vêm com o teste Debian. - > Vou verificar os logs do aptitude.)
Para dicas de ferramentas relacionadas a erros de código e avisos (sublinhados riscados laranja e vermelhos), você pode gerar um relatório do analisador de código para ver as mensagens.
No painel Editor, clique na seta para baixo no canto superior direito e selecione "Mostrar relatório do analisador de código". Observe que o relatório não será executado em paralelo com a execução de código na janela de comando (para que você não possa ver o relatório enquanto espera que seu código seja executado).