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: 2025/12/10 17:02 by 127.0.0.1