|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ pluginmgr overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.gjt.sp.jedit.pluginmgr
Class Roster.Operation

java.lang.Objectorg.gjt.sp.jedit.pluginmgr.Roster.Operation
- Direct Known Subclasses:
- Roster.Install, Roster.Remove
- Enclosing class:
- Roster
- abstract static class Roster.Operation
- extends java.lang.Object
| Constructor Summary | |
(package private) |
Roster.Operation()
|
| Method Summary | |
int |
getMaximum()
|
void |
runInAWTThread(java.awt.Component comp)
|
void |
runInWorkThread(PluginManagerProgress progress)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
Roster.Operation
Roster.Operation()
| Method Detail |
runInWorkThread
public void runInWorkThread(PluginManagerProgress progress)
runInAWTThread
public void runInAWTThread(java.awt.Component comp)
getMaximum
public int getMaximum()
|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ pluginmgr overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC
org.gjt.sp.jedit.pluginmgr.Roster.Operation