| 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) |