Pessoal aqui na empresa estamos usando o gerenciador de fontes Jedi. O problema e que eu precisaria fazer umas customizações nele. Alguém saberia dizer onde consigo o código fonte dele ?
Mesmo ele sendo open-source eu não achei. Abraço Pessoal [As partes desta mensagem que não continham texto foram removidas]