| java.lang.Object org.gjt.sp.jedit.pluginmgr.Roster
Roster | class Roster (Code) | | author: $Id: Roster.java 10793 2007-10-03 21:06:53Z kpouer $ |
Inner Class :abstract static class Operation | |
Inner Class :class Remove extends Operation | |
Inner Class :class Install extends Operation | |
addRemove | void addRemove(String jar)(Code) | | Add a remove operation for the given jar
Parameters: jar - the jar name |
getOperation | public Operation getOperation(int i)(Code) | | |
getOperationCount | int getOperationCount()(Code) | | |
isEmpty | boolean isEmpty()(Code) | | |
performOperationsInAWTThread | void performOperationsInAWTThread(Component comp)(Code) | | |
|
|