 | Markersets for Jedit.Crie facilmente marcadores e destaque notas importantes em JEDIT |
| Baixe Agora | |
Markersets for Jedit. Classificação e resumo
Propaganda
- Licença:
- GPL
- Nome do editor:
- Shlomy Reinstein
- Sistemas operacionais:
- Windows All
- Tamanho do arquivo:
- 97 KB
Markersets for Jedit. Tag
Markersets for Jedit. Descrição
Markersets for JEDIT é um plug-in J é útil e simples que permite gerenciar vários conjuntos de marcadores, onde cada conjunto pode conter notas de vários arquivos. O plugin permite que você exporte facilmente os conjuntos de marcadores para um arquivo XML, altere o conjunto de marcadores ativos, bem como para atribuir cores para cada conjunto.
Markersets for Jedit. Software Relacionado
