The Java editor here... www.jext.org Looks like it might share some code with jEdit. Anyone know? Ken McDonald
View entire thread