org.grinvin.conjecture.history
Class ConjectureHistoryOverview
JPanel
org.grinvin.conjecture.history.ConjectureHistoryOverview
- ListDataListener
public class ConjectureHistoryOverview
extends JPanel
implements ListDataListener
View of the conjecture history
ConjectureHistoryOverview
public ConjectureHistoryOverview(ConjectureHistoryListModel conjectureHistory)
Creates a new instance of ConjectureHistoryOverview
contentsChanged
public void contentsChanged(ListDataEvent e)
intervalAdded
public void intervalAdded(ListDataEvent e)
intervalRemoved
public void intervalRemoved(ListDataEvent e)