private void updateZoomModel( final double zoom ) { for ( int i = 0; i < zoomModel.getSize(); i++ ) { final Object o = zoomModel.getKeyAt( i ); if ( o instanceof Double ) { Double d = (Double) o; if ( d.doubleValue() == zoom ) { zoomModel.setSelectedKey( d ); return; } } } zoomModel.setSelectedItem( formatZoomText( zoom ) ); }
/** * This method gets called when a bound property is changed. * * @param evt * A PropertyChangeEvent object describing the event source and the property that has changed. */ public void propertyChange( final PropertyChangeEvent evt ) { if ( "zoom".equals( evt.getPropertyName() ) == false ) { //$NON-NLS-1$ return; } final double zoom = getZoom(); pageDrawable.setZoom( zoom ); final KeyedComboBoxModel<Double, String> zoomModel = PreviewPane.this.getZoomModel(); zoomModel.setSelectedKey( new Double( zoom ) ); if ( zoomModel.getSelectedKey() == null ) { zoomModel.setSelectedItem( formatZoomText( zoom ) ); } drawablePanel.revalidate(); } }