/**
* Set the stretch state for the image.
*
* @param newval The new state (true, if it should be stretched, false otherwise)
*/
public synchronized void setStretch(final boolean newval) {
if (symbolProperties != null) {
symbolProperties.setStretch(newval);
}
getOnImage().setStretch(newval);
getOffImage().setStretch(newval);
repaint();
}
