% plug-in da guia co_de%: link
1) No Ubuntu 14.04, alguém sabe por que a cor da guia não pode ser alterada? (Eu posso ver a opção kate
está disponível, mas não há nenhum efeito ao selecionar uma cor específica para a guia).
2) Existe algum atalho para alternar rapidamente entre as guias?