jEdit is an advanced text editor. This plugin provides an embedded interface of jEdit withing GroIMP. It replace the default text editor.
documentation