## jEdit jEdit is an advanced text editor. This plugin provides an embedded interface of jEdit withing GroIMP. It replace the default text editor. [documentation](https://manual.grogra.de/de.grogra.ext.jedit)