| 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 | Description |
|---|---|---|
class |
TaskMonitor |
Task Monitor dockable panel, for showing progress on active tasks.
|
| Modifier and Type | Class | Description |
|---|---|---|
class |
TaskAdapter |
| Modifier and Type | Method | Description |
|---|---|---|
void |
TaskManager.addTaskListener(TaskListener listener) |
|
void |
TaskManager.removeTaskListener(TaskListener listener) |