public interface EventHistory extends SciJavaService
Modifier and Type | Method and Description |
---|---|
void |
addListener(EventHistoryListener l)
Adds an event history listener.
|
void |
clear()
Clears the recorded event history.
|
boolean |
isActive()
Gets whether event history tracking is currently active.
|
void |
removeListener(EventHistoryListener l)
Removes an event history listener.
|
void |
setActive(boolean active)
Activates or deactivates event history tracking.
|
String |
toHTML(Set<Class<? extends SciJavaEvent>> filtered,
Set<Class<? extends SciJavaEvent>> highlighted)
Gets the recorded event history as an HTML string.
|
initialize, registerEventHandlers
getIdentifier, log
context, getContext, setContext
compareTo, getPriority, setPriority
getInfo, setInfo
getLocation
getVersion
dispose
void setActive(boolean active)
boolean isActive()
void clear()
String toHTML(Set<Class<? extends SciJavaEvent>> filtered, Set<Class<? extends SciJavaEvent>> highlighted)
filtered
- Set of event types to filter out from the history.highlighted
- Set of event types to highlight in the history.void addListener(EventHistoryListener l)
void removeListener(EventHistoryListener l)
Copyright © 2015–2022 SciJava. All rights reserved.