Markerset per Jedit.

Creare facilmente i marcatori e evidenzia note importanti in JEDIT
Scarica ora

Markerset per Jedit. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • GPL
  • Nome editore:
  • Shlomy Reinstein
  • Sistemi operativi:
  • Windows All
  • Dimensione del file:
  • 97 KB

Markerset per Jedit. Tag


Markerset per Jedit. Descrizione

Markerset for Jedit è un plugin J utile e semplice che consente di gestire più serie di marcatori, in cui ogni set può contenere note da vari file. Il plugin consente di esportare facilmente i set di marker su un file XML, modificare il set di marker attivi, oltre a assegnare colori per ciascun set.


Markerset per Jedit. Software correlato

Bookr.

Visualizza il contenuto dei file del libro digitale BKR ...

48 158 KB

Scarica

Chi siamo