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