Markersensets für Jedit.

Erstellen Sie einfach Marker und markieren Sie wichtige Notizen in den Jedit
Jetzt downloaden

Markersensets für Jedit. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Name des Herausgebers:
  • Shlomy Reinstein
  • Betriebssysteme:
  • Windows All
  • Dateigröße:
  • 97 KB

Markersensets für Jedit. Stichworte


Markersensets für Jedit. Beschreibung

Markersensets für Jedit ist ein nützliches und einfaches J-Plugin, mit dem Sie mehrere Markierungen verwalten können, in denen jedes Set Notizen aus verschiedenen Dateien enthalten kann. Mit dem Plugin können Sie die Markierungs-Sets einfach in eine XML-Datei exportieren, den aktiven Markierungssatz ändern sowie Farben für jedes Set zuweisen.


Markersensets für Jedit. Zugehörige Software

Über uns