org.grinvin.graphbrowser
Class GraphTableComponent
EnhancedTable
org.grinvin.graphbrowser.GraphTableComponent
- HasGraphList, HasSelectableGraphList, MouseListener
public class GraphTableComponent
extends EnhancedTable
Table component which displays a list of graphs as rows, invariants as columns
and the corresponding values in the table cells.
A table of this type is drag-and-drop enabled:
GraphTableComponent
public GraphTableComponent(GraphInvariantListModel model,
ListSelectionModel newSelectionModel)
Creates a new instance of GraphTableComponent
deleteSelectedRows
public void deleteSelectedRows()
Delete currently selected rows.
getScrollableTracksViewportHeight
public boolean getScrollableTracksViewportHeight()
mouseClicked
public void mouseClicked(MouseEvent e)
mouseEntered
public void mouseEntered(MouseEvent e)
mouseExited
public void mouseExited(MouseEvent e)
mousePressed
public void mousePressed(MouseEvent e)
mouseReleased
public void mouseReleased(MouseEvent e)
rescaleColumns
public void rescaleColumns()
tableChanged
public void tableChanged(TableModelEvent e)