//
// Implement the ChangeListener
//
public void stateChanged(ChangeEvent e) {
// Keep the scrolling of the row table in sync with main table
JViewport viewport = (JViewport) e.getSource();
JScrollPane scrollPane = (JScrollPane) viewport.getParent();
scrollPane.getVerticalScrollBar().setValue(viewport.getViewPosition().y);
}
public void stateChanged(ChangeEvent e) {
JSlider source = (JSlider) e.getSource();
if (source == unitXSlider) {
ux = source.getValue();
graph.setUnityX(ux);
} else {
uy = source.getValue();
graph.setUnityY(uy);
}
}