public void setZoom(double zoom) { double oldzoom = m_icon.getZoom(); m_icon.setZoom(zoom); m_jPercent.setText(m_percentformat.format(m_icon.getZoom())); m_jImage.revalidate(); m_jScr.revalidate(); m_jScr.repaint(); firePropertyChange("zoom", oldzoom, zoom); }