Perfekt editiert

Plugins

Wie bereits angesprochen, ist eines der wichtigsten Features von jEdit die Unterstützung von Plugins. Da zahlreiche Plugins verfügbar sind, lässt sich jEdit auf diese Weise mit vielen nützlichen Funktionen erweitern. Der Editor wird somit zu einen Multifunktionstalent.

Wie schon erwähnt, können Plugins direkt über den eingebauten Plugin-Manager im Editor installiert werden: Dieser ermittelt die Liste der zur Verfügung stehenden Plugins zunächst über die bereits angegebene Web-Seite und stellt dem Benutzer anschließend einen übersichtlichen Auswahldialog zur Verfügung. Die markierten Plugins werden anschließend automatisch heruntergeladen und installiert, ohne dass der Benutzer weiter eingreifen muss. Am Schluss ist lediglich noch ein Neustart von jEdit erforderlich, nach dem hinzugefügte Plugins zur Verfügung stehen.

Abbildung 3: Die Auswahlliste des Plugin-Manager

Abbildung 4: Der Plugin-Manager bei der Installation

Zu erreichen ist der Plugin-Manager über das Menü Plugins/Plugin Manager.... Im Menü Plugins finden Sie außerdem Menüpunkte für bereits installierten Plugins. Hier gibt es häufig Möglichkeiten zur Einrichtung und Anpassung der verschiedenen Erweiterungen.

Fazit

Ziel dieses Beitrags war, einen kurzen Einblick in die umfassenden Features von jEdit zu geben. Ob Sie nun einen Editor zum Programmieren suchen oder auf einfache Weise Konfigurationsdateien anpassen wollen - jEdit bietet in jedem Fall eine optimale Unterstützung bei besonders einfacher Bedienung. Nimmt man die erweiterten Funktionen hinzu, die durch Plugin-Installationen zu erreichen sind, entwickelt sich jEdit zu einem echten Multitalent. Ein Blick auf dieses Programm lohnt sich also.