public interface ExplorerUpdater
Modifier and Type | Method and Description |
---|---|
com.google.common.eventbus.EventBus |
getEventBus() |
void |
post(ExplorerEvent event) |
com.google.common.eventbus.EventBus getEventBus()
void post(ExplorerEvent event)