+++ /dev/null
-/*
- 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());
- }
-}