GroIMP wiki

a part of grogra.de

User Tools

Site Tools

Trace: • Getting started with GroLink and GroR • ProjectManager • Toolbar • Selection • Parameter manager • Forward parameters from the command line to a project • fastrakReader • Boot • Scene management • jEdit
You are here: GroIMP documentation » 📚 Platform documentation » Plugins » All plugins [AG] » jEdit
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.

documentation

01_user_documentation/11_plugin/99_all_plugins/de.grogra.ext.jedit.txt · Last modified: 2026/05/10 07:08 (external edit)