JAL-3032 adds Java 8 functionality (2/2)
[jalview.git] / src2 / fr / orsay / lri / varna / views / VueZoom.java
diff --git a/src2/fr/orsay/lri/varna/views/VueZoom.java b/src2/fr/orsay/lri/varna/views/VueZoom.java
new file mode 100644 (file)
index 0000000..08b75f9
--- /dev/null
@@ -0,0 +1,121 @@
+/*
+ VARNA is a tool for the automated drawing, visualization and annotation of the secondary structure of RNA, designed as a companion software for web servers and databases.
+ Copyright (C) 2008  Kevin Darty, Alain Denise and Yann Ponty.
+ electronic mail : Yann.Ponty@lri.fr
+ paper mail : LRI, bat 490 Université Paris-Sud 91405 Orsay Cedex France
+
+ This file is part of VARNA version 3.1.
+ VARNA version 3.1 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.
+
+ VARNA version 3.1 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 VARNA version 3.1.
+ If not, see http://www.gnu.org/licenses.
+ */
+package fr.orsay.lri.varna.views;
+
+import java.awt.Dimension;
+import java.awt.FlowLayout;
+import java.awt.GridLayout;
+
+import javax.swing.JLabel;
+import javax.swing.JPanel;
+import javax.swing.JSlider;
+import javax.swing.event.ChangeEvent;
+import javax.swing.event.ChangeListener;
+
+import fr.orsay.lri.varna.VARNAPanel;
+import fr.orsay.lri.varna.controlers.ControleurSliderLabel;
+import fr.orsay.lri.varna.controlers.ControleurZoom;
+import fr.orsay.lri.varna.models.VARNAConfig;
+
+public class VueZoom implements ChangeListener {
+
+       private VARNAPanel _vp;
+       private JSlider zoomSlider, zoomAmountSlider;
+       private JPanel panel;
+
+       public VueZoom(VARNAPanel vp) {
+               _vp = vp;
+
+               JPanel pup = new JPanel();
+               JPanel pdown = new JPanel();
+               panel = new JPanel();
+               panel.setLayout(new GridLayout(2, 1));
+               pup.setLayout(new FlowLayout(FlowLayout.LEFT));
+               pdown.setLayout(new FlowLayout(FlowLayout.LEFT));
+
+               zoomSlider = new JSlider(JSlider.HORIZONTAL,
+                               (int) (VARNAConfig.MIN_ZOOM * 100),
+                               (int) (VARNAConfig.MAX_ZOOM * 100), (int) (_vp.getZoom() * 100));
+               // Turn on labels at major tick marks.
+               zoomSlider.setMajorTickSpacing(2000);
+               zoomSlider.setMinorTickSpacing(500);
+               zoomSlider.setPaintTicks(true);
+               zoomSlider.setPaintLabels(true);
+               zoomSlider.setPreferredSize(new Dimension(250, zoomSlider
+                               .getPreferredSize().height));
+               zoomSlider.addChangeListener(new ControleurZoom(this));
+
+               JLabel zoomValueLabel = new JLabel(String.valueOf(_vp.getZoom()));
+               zoomValueLabel.setPreferredSize(new Dimension(50, zoomValueLabel
+                               .getPreferredSize().height));
+               zoomSlider.addChangeListener(new ControleurSliderLabel(zoomValueLabel,
+                               true));
+
+               zoomAmountSlider = new JSlider(JSlider.HORIZONTAL,
+                               (int) (VARNAConfig.MIN_AMOUNT * 100),
+                               (int) (VARNAConfig.MAX_AMOUNT * 100), (int) (_vp
+                                               .getZoomIncrement() * 100));
+               // Turn on labels at major tick marks.
+               zoomAmountSlider.setMajorTickSpacing(50);
+               zoomAmountSlider.setMinorTickSpacing(10);
+               zoomAmountSlider.setPaintTicks(true);
+               zoomAmountSlider.setPaintLabels(true);
+               zoomAmountSlider.setPreferredSize(new Dimension(200, zoomAmountSlider
+                               .getPreferredSize().height));
+
+               JLabel zoomAmountValueLabel = new JLabel(String.valueOf(_vp
+                               .getZoomIncrement()));
+               zoomAmountValueLabel.setPreferredSize(new Dimension(50,
+                               zoomAmountValueLabel.getPreferredSize().height));
+               zoomAmountSlider.addChangeListener(new ControleurSliderLabel(
+                               zoomAmountValueLabel, true));
+               zoomAmountSlider.addChangeListener(this);
+
+               JLabel labelZ = new JLabel("Zoom:");
+               JLabel labelA = new JLabel("Increment:");
+
+               pup.add(labelZ);
+               pup.add(zoomSlider);
+               pup.add(zoomValueLabel);
+               pdown.add(labelA);
+               pdown.add(zoomAmountSlider);
+               pdown.add(zoomAmountValueLabel);
+               panel.add(pup);
+               panel.add(pdown);
+       }
+
+       public JPanel getPanel() {
+               return panel;
+       }
+
+       public double getZoom() {
+               return zoomSlider.getValue() / 100.0;
+       }
+
+       public double getZoomAmount() {
+               return zoomAmountSlider.getValue() / 100.0;
+       }
+
+       public VARNAPanel get_vp() {
+               return _vp;
+       }
+
+       public void stateChanged(ChangeEvent e) {
+               _vp.setZoomIncrement(getZoomAmount());
+       }
+}