![]() |
Gridarta Editor
|
Interface for listeners interested in Tab related events. More...
Public Member Functions | |
void | severityChanged (@NotNull Severity severity) |
Called whenever the tab's severity has changed. More... | |
Interface for listeners interested in Tab related events.
Definition at line 30 of file TabListener.java.
void net.sf.gridarta.gui.utils.tabbedpanel.TabListener.severityChanged | ( | @NotNull Severity | severity | ) |
Called whenever the tab's severity has changed.
severity | the new severity |