Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
JScrollPane
org.grinvin.gui.components.ScrollableGraphTableComponent
org.grinvin.gui.components.FilteredScrollableGraphTableComponent
public class FilteredScrollableGraphTableComponent
extends ScrollableGraphTableComponent
implements GraphFilterListener
ScrollableGraphTableComponent
that displays a filter as well.
Field Summary |
Fields inherited from class org.grinvin.gui.components.ScrollableGraphTableComponent | |
graphtable |
Constructor Summary | |
|
Method Summary | |
void |
|
Methods inherited from class org.grinvin.gui.components.ScrollableGraphTableComponent | |
doLayout , getGraphList , void paintComponent |
public FilteredScrollableGraphTableComponent(GraphListModel graphListModel, InvariantListModel invariantListModel, ListSelectionModel selectionModel, GraphFilter graphFilter)
public void filterChanged(GraphFilter filter)
- Specified by:
- filterChanged in interface GraphFilterListener