Group: Gjt Sp JEdit
Sort by:Popular▼
✓Popular ✓Newest

1.JEdit Editor Modified For Internal Editor Use In IDE 2 usages

org.gjt.sp.jedit » jedit GPL

jEdit editor, modified for use inside our IDE.

Last Release on Sep 17, 2024