org.grinvin.gui.components
Class ScrollableGraphTableComponent
JScrollPane
org.grinvin.gui.components.ScrollableGraphTableComponent
public class ScrollableGraphTableComponent
extends JScrollPane
ScrollableGraphTableComponent
public ScrollableGraphTableComponent(GraphListModel graphListModel,
InvariantListModel invariantListModel,
ListSelectionModel selectionModel)
doLayout
public void doLayout()
Overridden to also rescale the table columns whenever the layout needs a change
void paintComponent
protected @Override void paintComponent(Graphics g)
Adds a watermark to the list.