Class JGraphSlider

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, EventListener, Accessible, ChangeListener, SwingConstants

public class JGraphSlider extends JSlider implements ChangeListener
See Also:
  • Constructor Details

    • JGraphSlider

      public JGraphSlider(org.jgraph.JGraph graph)
  • Method Details

    • resetSlider

      public void resetSlider()
      Aligning the slider with the currently shown graph. (if there is one).
    • stateChanged

      public void stateChanged(ChangeEvent e)
      Specified by:
      stateChanged in interface ChangeListener