GroIMP wiki

a part of grogra.de

User Tools

Site Tools

Trace:
You are here: GroIMP documentation » Platform documentation » Interacting with GroIMP » Windows and panels » Text Editors » jEdit
01_user_documentation:03_interacting_with_groimp:02_panels:03_text_editor:02_jedit

Old Revisions

These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it.

  • 2025/07/04 16:14 jEdit – created gaetan +489 B (current)
01_user_documentation/03_interacting_with_groimp/02_panels/03_text_editor/02_jedit.txt · Last modified: 2025/07/04 16:14 by gaetan