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, registerEventHandlersgetIdentifier, logcontext, getContext, setContextcompareTo, getPriority, setPrioritygetInfo, setInfogetLocationgetVersiondisposevoid 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.