|
|||||||||
| Home >> All >> org >> gjt >> sp >> [ util overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.gjt.sp.util
Interface WorkThreadProgressListener

- All Superinterfaces:
- java.util.EventListener
- public interface WorkThreadProgressListener
- extends java.util.EventListener
A work thread execution progress listener.
- Since:
- jEdit 2.6pre1
| Method Summary | |
void |
progressUpdate(WorkThreadPool threadPool,
int threadIndex)
|
void |
statusUpdate(WorkThreadPool threadPool,
int threadIndex)
|
| Method Detail |
statusUpdate
public void statusUpdate(WorkThreadPool threadPool, int threadIndex)
progressUpdate
public void progressUpdate(WorkThreadPool threadPool, int threadIndex)
|
|||||||||
| Home >> All >> org >> gjt >> sp >> [ util overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC