jEdit editor integration
