Marqueurs pour Jedit

Créez facilement des marqueurs et mettez en surbrillance des notes importantes dans Jedit
Télécharger maintenant

Marqueurs pour Jedit Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • GPL
  • Nom de l'éditeur:
  • Shlomy Reinstein
  • Systèmes d'exploitation:
  • Windows All
  • Taille du fichier:
  • 97 KB

Marqueurs pour Jedit Mots clés


Marqueurs pour Jedit La description

MARKERSETS POUR JEDIT est un plugin J simple et simple qui vous permet de gérer plusieurs ensembles de marqueurs, où chaque ensemble peut contenir des notes de divers fichiers. Le plugin vous permet d'exporter facilement les ensembles de marqueurs vers un fichier XML, modifiez le jeu de marqueur actif, ainsi que pour attribuer des couleurs pour chaque ensemble.


Marqueurs pour Jedit Logiciels associés

À propos de nous