|
||||||||
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 |