title: How to check if value was set manually and not with setValue (JSlider, JSpinner)?
body: <p>How can I check if the value of a JSlider or JSpinner was set via the graphical interface and not via the method <code>setValue( int n)</code> ?</p>