Package org.gjt.sp.jedit.gui

Various GUI controls and dialog boxes.