/******************************************************************************* * This file is part of logisim-evolution. * * logisim-evolution is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * logisim-evolution is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with logisim-evolution. If not, see <http://www.gnu.org/licenses/>. * * Original code by Carl Burch (http://www.cburch.com), 2011. * Subsequent modifications by : * + Haute École Spécialisée Bernoise * http://www.bfh.ch * + Haute École du paysage, d'ingénierie et d'architecture de Genève * http://hepia.hesge.ch/ * + Haute École d'Ingénierie et de Gestion du Canton de Vaud * http://www.heig-vd.ch/ * The project is currently maintained by : * + REDS Institute - HEIG-VD * Yverdon-les-Bains, Switzerland * http://reds.heig-vd.ch *******************************************************************************/ package com.cburch.logisim.gui.generic; import java.beans.PropertyChangeListener; import java.beans.PropertyChangeSupport; import com.cburch.logisim.prefs.PrefMonitor; public class BasicZoomModel implements ZoomModel { private double[] zoomOptions; private PropertyChangeSupport support; private double zoomFactor; private boolean showGrid; public BasicZoomModel(PrefMonitor<Boolean> gridPref, PrefMonitor<Double> zoomPref, double[] zoomOpts) { zoomOptions = zoomOpts; support = new PropertyChangeSupport(this); zoomFactor = 1.0; showGrid = true; setZoomFactor(zoomPref.get().doubleValue()); setShowGrid(gridPref.getBoolean()); } public void addPropertyChangeListener(String prop, PropertyChangeListener l) { support.addPropertyChangeListener(prop, l); } public boolean getShowGrid() { return showGrid; } public double getZoomFactor() { return zoomFactor; } public double[] getZoomOptions() { return zoomOptions; } public void removePropertyChangeListener(String prop, PropertyChangeListener l) { support.removePropertyChangeListener(prop, l); } public void setShowGrid(boolean value) { if (value != showGrid) { showGrid = value; support.firePropertyChange(ZoomModel.SHOW_GRID, !value, value); } } public void setZoomFactor(double value) { double oldValue = zoomFactor; if (value != oldValue) { zoomFactor = value; support.firePropertyChange(ZoomModel.ZOOM, Double.valueOf(oldValue), Double.valueOf(value)); } } }