Package | Description |
---|---|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
org.gjt.sp.util |
Utility classes used by jEdit but that do not depend on jEdit
itself.
|
Modifier and Type | Class and Description |
---|---|
class |
TaskMonitor
Task Monitor dockable panel, for showing progress on active tasks.
|
Modifier and Type | Class and Description |
---|---|
class |
TaskAdapter |
Modifier and Type | Method and Description |
---|---|
void |
TaskManager.addTaskListener(TaskListener listener) |
void |
TaskManager.removeTaskListener(TaskListener listener) |