01_user_documentation:11_plugin:99_all_plugins:de.grogra.ext.jedit
jEdit
jEdit is an advanced text editor. This plugin provides an embedded interface of jEdit withing GroIMP. It replace the default text editor.
01_user_documentation/11_plugin/99_all_plugins/de.grogra.ext.jedit.txt · Last modified: 2026/02/01 07:08 by 127.0.0.1