Destacar TODO e outras palavras-chave no Editor de Texto (gedit) não está funcionando

Destacar TODO e outras palavras-chave no Editor de Texto (gedit) não está funcionando

Estou usando o Editor de Texto (gedit) há alguns meses. Baixei o inkpottema porque parece bom.

https://gist.github.com/carmelom/14e74271d4c03f3028f0e050be0e7f0a

O problema é que não destaca nenhuma FIXMEpalavra TODO.

Se eu mudar meu Editor de Texto para usar outro tema, ele funciona e essas palavras ficam destacadas.

Você pode olhar o código do tema e me dizer por que e se ele pode ser corrigido?

Obrigado.

informação relacionada