|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
public interface HistoryProviderSignals
| Method Summary | |
|---|---|
void |
cleared()
Emitted after the history has been cleared. |
void |
updated(java.lang.String[] items)
This signal is never emitted from this class, it is only meant as an interface for subclasses. |
| Method Detail |
|---|
void cleared()
void updated(java.lang.String[] items)
items.
|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||