Package | Description |
---|---|
org.gjt.sp.jedit.bufferio |
Classes related to loading, saving, autosaving buffers.
|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
org.gjt.sp.jedit.io |
Virtual file system and multi-threaded I/O.
|
org.gjt.sp.util |
Utility classes used by jEdit but that do not depend on jEdit
itself.
|
Modifier and Type | Class | Description |
---|---|---|
class |
BufferAutosaveRequest |
A buffer autosave request.
|
class |
BufferInsertRequest |
A buffer insert request.
|
class |
BufferIORequest |
A buffer I/O request.
|
class |
BufferLoadRequest |
A buffer load request.
|
class |
BufferSaveRequest |
A buffer save request.
|
class |
IoTask |
|
class |
MarkersSaveRequest |
A save request for markers.
|
Modifier and Type | Method | Description |
---|---|---|
void |
TaskMonitor.done(Task task) |
|
void |
TaskMonitor.maximumUpdated(Task task) |
|
void |
TaskMonitor.running(Task task) |
|
void |
TaskMonitor.statusUpdated(Task task) |
|
void |
TaskMonitor.valueUpdated(Task task) |
|
void |
TaskMonitor.waiting(Task task) |
Modifier and Type | Class | Description |
---|---|---|
class |
CopyFileWorker |
This worker will copy a file.
|
class |
LocalFileSaveTask |
The Task for asynchronous saving local file to disk ommiting VFS API stack.
|
Modifier and Type | Method | Description |
---|---|---|
static void |
VFSManager.runInWorkThread(Task run) |
Deprecated.
You should not use this method, this threadpool
links the AWT Threads and Work threads.
|
Modifier and Type | Method | Description |
---|---|---|
void |
TaskAdapter.done(Task task) |
|
void |
TaskListener.done(Task task) |
|
void |
TaskAdapter.maximumUpdated(Task task) |
|
void |
TaskListener.maximumUpdated(Task task) |
|
static void |
ThreadUtilities.runInBackground(Task task) |
Run the task in the threadpool.
|
void |
TaskAdapter.running(Task task) |
|
void |
TaskListener.running(Task task) |
|
void |
TaskAdapter.statusUpdated(Task task) |
|
void |
TaskListener.statusUpdated(Task task) |
|
void |
TaskAdapter.valueUpdated(Task task) |
|
void |
TaskListener.valueUpdated(Task task) |
|
void |
TaskManager.TaskVisitor.visit(Task task) |
|
void |
TaskAdapter.waiting(Task task) |
|
void |
TaskListener.waiting(Task task) |
Modifier and Type | Method | Description |
---|---|---|
void |
TaskManager.cancelTasksByClass(java.lang.Class<? extends Task> clazz) |
cancel a task by its class
|