/**
* Sets the amount of pixels, which are cropped from the top.
*
* @param newval The amount of pixels
*/
public synchronized void setTopCrop(final int newval) {
if (symbolProperties != null) {
symbolProperties.setTopCrop(newval);
}
getOnImage().setTopCrop(newval);
getOffImage().setTopCrop(newval);
repaint();
}
