Gridarta Editor
net.sf.gridarta.gui.utils.tabbedpanel.TabListener Interface Reference

Interface for listeners interested in Tab related events. More...

+ Inheritance diagram for net.sf.gridarta.gui.utils.tabbedpanel.TabListener:
+ Collaboration diagram for net.sf.gridarta.gui.utils.tabbedpanel.TabListener:

Public Member Functions

void severityChanged (@NotNull Severity severity)
 Called whenever the tab's severity has changed. More...
 

Detailed Description

Interface for listeners interested in Tab related events.

Author
Andreas Kirschbaum

Definition at line 30 of file TabListener.java.

Member Function Documentation

◆ severityChanged()

void net.sf.gridarta.gui.utils.tabbedpanel.TabListener.severityChanged ( @NotNull Severity  severity)

Called whenever the tab's severity has changed.

Parameters
severitythe new severity

The documentation for this interface was generated from the following file: