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); }
public void setImage(BufferedImage img) { BufferedImage oldimg = m_Img; m_Img = img; m_icon.setIcon(m_Img == null ? null : new ImageIcon(m_Img)); m_jPercent.setText(m_percentformat.format(m_icon.getZoom())); m_jImage.revalidate(); m_jScr.revalidate(); m_jScr.repaint(); privateSetEnabled(isEnabled()); firePropertyChange("image", oldimg, m_Img); }
public JImageEditor() { initComponents(); m_Img = null; m_maxsize = null; m_icon = new ZoomIcon(); m_jImage.setIcon(m_icon); m_jPercent.setText(m_percentformat.format(m_icon.getZoom())); privateSetEnabled(isEnabled()); }
public void decZoom() { double zoom = m_icon.getZoom(); setZoom(zoom < 1.0 ? 0.25 : zoom / 2.0); }
public void incZoom() { double zoom = m_icon.getZoom(); setZoom(zoom > 4.0 ? 8.0 : zoom * 2.0); }
public double getZoom() { return m_icon.getZoom(); }