JEdit http://www.jedit.org/ Stefan Gronewold(groni) groni@pisilinux.org GPL jedit app:gui editor jEdit is a mature programmer's text editor. jEdit is a mature programmer's text editor with hundreds (counting the time developing plugins) of person-years of development behind it. It is written in Java desktop-file-utils libxslt-devel jdk8-openjdk jre8-openjdk https://sourceforge.net/projects/jedit/files/jedit/5.5.0/jedit5.5.0install.jar jedit docbook-xml docbook-xsl libxslt /usr/bin/java /usr/bin /usr/share/applications /usr/share/pixmaps /usr/share/man /usr/share/java/jedit /usr/share/jedit jedit.desktop jedit.png 2020-02-02 5.5.0 Version bump. Erkan IŞIK erkanisik@pisilinux.org 2016-05-26 5.3.0 First Release. Stefan Gronewold(groni) groni@pisilinux.org