/*
* ScaleBarPainterController.java
*
* Copyright (C) 2006-2014 Andrew Rambaut
*
* This program 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 2
* of the License, or (at your option) any later version.
*
* This program 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 this program; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
*/
package figtree.treeviewer.painters;
import figtree.treeviewer.TreeViewerListener;
import jam.controlpalettes.AbstractController;
import jam.panels.OptionsPanel;
import javax.swing.*;
import javax.swing.event.ChangeEvent;
import javax.swing.event.ChangeListener;
import java.awt.*;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.text.NumberFormat;
import java.text.DecimalFormat;
import java.util.Map;
import java.util.prefs.Preferences;
import figtree.treeviewer.ControllerOptionsPanel;
import figtree.treeviewer.TreeViewer;
import figtree.ui.components.RealNumberField;
/**
* @author Andrew Rambaut
* @version $Id$
*
* $HeadURL$
*
* $LastChangedBy$
* $LastChangedDate$
* $LastChangedRevision$
*/
public class ScaleBarPainterController extends AbstractController {
public static Preferences PREFS = Preferences.userNodeForPackage(TreeViewer.class);
public static final String CONTROLLER_KEY = "scaleBar";
public static final String FONT_NAME_KEY = "fontName";
public static final String FONT_SIZE_KEY = "fontSize";
public static final String FONT_STYLE_KEY = "fontStyle";
public static final String NUMBER_FORMATTING_KEY = "numberFormatting";
public static final String AUTOMATIC_SCALE_KEY = "automaticScale";
public static final String SCALE_RANGE_KEY = "scaleRange";
public static final String LINE_WIDTH_KEY = "lineWidth";
// public static final String SIGNIFICANT_DIGITS_KEY = "significantDigits";
// The defaults if there is nothing in the preferences
public static String DEFAULT_FONT_NAME = "sansserif";
public static int DEFAULT_FONT_SIZE = 10;
public static int DEFAULT_FONT_STYLE = Font.PLAIN;
public static String DEFAULT_NUMBER_FORMATTING = "#.####";
public static float DEFAULT_LINE_WIDTH = 1.0f;
public ScaleBarPainterController(final ScaleBarPainter scaleBarPainter, final TreeViewer treeViewer) {
this.scaleBarPainter = scaleBarPainter;
final String defaultFontName = PREFS.get(CONTROLLER_KEY + "." + FONT_NAME_KEY, DEFAULT_FONT_NAME);
final int defaultFontStyle = PREFS.getInt(CONTROLLER_KEY + "." + FONT_STYLE_KEY, DEFAULT_FONT_STYLE);
final int defaultFontSize = PREFS.getInt(CONTROLLER_KEY + "." + FONT_SIZE_KEY, DEFAULT_FONT_SIZE);
final String defaultNumberFormatting = PREFS.get(CONTROLLER_KEY + "." + NUMBER_FORMATTING_KEY, DEFAULT_NUMBER_FORMATTING);
float lineWidth = PREFS.getFloat(LINE_WIDTH_KEY, DEFAULT_LINE_WIDTH);
scaleBarPainter.setFont(new Font(defaultFontName, defaultFontStyle, defaultFontSize));
scaleBarPainter.setNumberFormat(new DecimalFormat(defaultNumberFormatting));
scaleBarPainter.setScaleBarStroke(new BasicStroke(lineWidth, BasicStroke.CAP_ROUND, BasicStroke.JOIN_ROUND));
optionsPanel = new ControllerOptionsPanel(2, 2);
titleCheckBox = new JCheckBox(getTitle());
titleCheckBox.setSelected(scaleBarPainter.isVisible());
autoScaleCheck = new JCheckBox("Automatic scale");
autoScaleCheck.setSelected(true);
optionsPanel.addSpanningComponent(autoScaleCheck);
scaleRangeText = new RealNumberField(0.0, Double.MAX_VALUE);
scaleRangeText.setValue(0.0);
final JLabel label1 = optionsPanel.addComponentWithLabel("Scale Range:", scaleRangeText, true);
label1.setEnabled(false);
scaleRangeText.setEnabled(false);
Font font = scaleBarPainter.getFont();
fontSizeSpinner = new JSpinner(new SpinnerNumberModel(font.getSize(), 0.01, 48, 1));
final JLabel label2 = optionsPanel.addComponentWithLabel("Font Size:", fontSizeSpinner);
fontSizeSpinner.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent changeEvent) {
final float size = ((Double) fontSizeSpinner.getValue()).floatValue();
Font font = scaleBarPainter.getFont().deriveFont(size);
scaleBarPainter.setFont(font);
}
});
// NumberFormat format = this.scaleBarPainter.getNumberFormat();
// int digits = format.getMaximumFractionDigits();
// digitsSpinner = new JSpinner(new SpinnerNumberModel(digits, 2, 14, 1));
// final JLabel label3 = optionsPanel.addComponentWithLabel("Sig. Digits:", digitsSpinner);
//
// digitsSpinner.addChangeListener(new ChangeListener() {
// public void stateChanged(ChangeEvent changeEvent) {
// final int digits = (Integer)digitsSpinner.getValue();
// NumberFormat format = scaleBarPainter.getNumberFormat();
// format.setMaximumFractionDigits(digits);
// scaleBarPainter.setNumberFormat(format);
// }
// });
lineWeightSpinner = new JSpinner(new SpinnerNumberModel(1.0, 0.01, 48.0, 1.0));
lineWeightSpinner.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent changeEvent) {
float weight = ((Double) lineWeightSpinner.getValue()).floatValue();
scaleBarPainter.setScaleBarStroke(new BasicStroke(weight, BasicStroke.CAP_BUTT, BasicStroke.JOIN_BEVEL));
}
});
final JLabel label4 = optionsPanel.addComponentWithLabel("Line Weight:", lineWeightSpinner);
final boolean isSelected1 = titleCheckBox.isSelected();
final boolean isSelected2 = autoScaleCheck.isSelected();
label1.setEnabled(isSelected1 && !isSelected2);
scaleRangeText.setEnabled(isSelected1 && !isSelected2);
label2.setEnabled(isSelected1);
fontSizeSpinner.setEnabled(isSelected1);
// label3.setEnabled(isSelected1);
// digitsSpinner.setEnabled(isSelected1);
label4.setEnabled(isSelected1);
lineWeightSpinner.setEnabled(isSelected1);
titleCheckBox.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent changeEvent) {
final boolean isSelected1 = titleCheckBox.isSelected();
final boolean isSelected2 = autoScaleCheck.isSelected();
autoScaleCheck.setEnabled(isSelected1);
label1.setEnabled(isSelected1 && !isSelected2);
scaleRangeText.setEnabled(isSelected1 && !isSelected2);
label2.setEnabled(isSelected1);
fontSizeSpinner.setEnabled(isSelected1);
// label3.setEnabled(isSelected1);
// digitsSpinner.setEnabled(isSelected1);
label4.setEnabled(isSelected1);
lineWeightSpinner.setEnabled(isSelected1);
scaleBarPainter.setVisible(isSelected1);
}
});
autoScaleCheck.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent changeEvent) {
if (autoScaleCheck.isSelected()) {
scaleBarPainter.setAutomaticScale(true);
double range = scaleBarPainter.getScaleRange();
scaleRangeText.setValue(range);
label1.setEnabled(false);
scaleRangeText.setEnabled(false);
} else {
label1.setEnabled(true);
scaleRangeText.setEnabled(true);
scaleBarPainter.setAutomaticScale(false);
}
}
});
scaleRangeText.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent changeEvent) {
Double value = scaleRangeText.getValue();
if (value != null) {
scaleBarPainter.setScaleRange(value);
}
}
});
treeViewer.addTreeViewerListener(new TreeViewerListener() {
public void treeChanged() {
scaleBarPainter.calculateScaleRange();
scaleBarPainter.firePainterChanged();
}
public void treeSettingsChanged() {
// nothing to do
}
});
}
public JComponent getTitleComponent() {
return titleCheckBox;
}
public JPanel getPanel() {
return optionsPanel;
}
public boolean isInitiallyVisible() {
return false;
}
public void initialize() {
// force a toggle of the checkbox
autoScaleCheck.setSelected(false);
autoScaleCheck.setSelected(true);
}
public void setSettings(Map<String,Object> settings) {
titleCheckBox.setSelected((Boolean)settings.get(CONTROLLER_KEY + "." + IS_SHOWN));
autoScaleCheck.setSelected((Boolean)settings.get(CONTROLLER_KEY + "." + AUTOMATIC_SCALE_KEY));
scaleRangeText.setValue((Double)settings.get(CONTROLLER_KEY + "." + SCALE_RANGE_KEY));
fontSizeSpinner.setValue((Double)settings.get(CONTROLLER_KEY + "." + FONT_SIZE_KEY));
// digitsSpinner.setValue((Integer)settings.get(CONTROLLER_KEY + "." + SIGNIFICANT_DIGITS_KEY));
lineWeightSpinner.setValue((Double)settings.get(CONTROLLER_KEY + "." + LINE_WIDTH_KEY));
}
public void getSettings(Map<String, Object> settings) {
settings.put(CONTROLLER_KEY + "." + IS_SHOWN, titleCheckBox.isSelected());
settings.put(CONTROLLER_KEY + "." + AUTOMATIC_SCALE_KEY, autoScaleCheck.isSelected());
settings.put(CONTROLLER_KEY + "." + SCALE_RANGE_KEY, scaleRangeText.getValue());
settings.put(CONTROLLER_KEY + "." + FONT_SIZE_KEY, fontSizeSpinner.getValue());
// settings.put(CONTROLLER_KEY + "." + SIGNIFICANT_DIGITS_KEY, digitsSpinner.getValue());
settings.put(CONTROLLER_KEY + "." + LINE_WIDTH_KEY, lineWeightSpinner.getValue());
}
private final JCheckBox titleCheckBox;
private final OptionsPanel optionsPanel;
private final JCheckBox autoScaleCheck;
private final RealNumberField scaleRangeText;
private final JSpinner fontSizeSpinner;
// private final JSpinner digitsSpinner;
private final JSpinner lineWeightSpinner;
public String getTitle() {
return "Scale Bar";
}
private final ScaleBarPainter scaleBarPainter;
}