| org.gjt.sp.util.ProgressObserver
All known Subclasses: org.gjt.sp.util.WorkRequest, org.gjt.sp.jedit.pluginmgr.PluginManagerProgress,
ProgressObserver | public interface ProgressObserver (Code) | | Interface used to monitor things that can progress.
author: Matthieu Casanova version: $Id: ProgressObserver.java 5231 2005-07-27 21:19:39Z kpouer $ since: jEdit 4.3pre3 |
Method Summary | |
void | setMaximum(long value) Update the maximum value. | void | setStatus(String status) Update the status label. | void | setValue(long value) Update the progress value. |
setMaximum | void setMaximum(long value)(Code) | | Update the maximum value.
Parameters: value - the new maximum value since: jEdit 4.3pre3 |
setStatus | void setStatus(String status)(Code) | | Update the status label.
Parameters: status - the new status label since: jEdit 4.3pre3 |
setValue | void setValue(long value)(Code) | | Update the progress value.
Parameters: value - the new value since: jEdit 4.3pre3 |
|
|