Uses of Class
org.gjt.sp.jedit.EditServer
-
Uses of EditServer in org.gjt.sp.jedit
Modifier and TypeMethodDescriptionstatic EditServer
jEdit.getEditServer()
Returns the edit server instance.
static EditServer
getEditServer()