This package contains the core classes of the jEdit text editor. jEdit is a
powerful, extensible, easy to use text editor written in Java.
@gjtcompile no
@gjtrel $Name: $
@gjtdate $Date: 2001/04/18 03:09:45 $
@gjtreq Swing
@gjthome jEdit home page
@gjtmain org.gjt.sp.jedit.jEdit
@gjtlicense GPL
@gjtjvm 1.1