srcjar/fr/orsay/lri/varna/views/VueZoom.java

   1 /*
   2  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.
   3  Copyright (C) 2008  Kevin Darty, Alain Denise and Yann Ponty.
   4  electronic mail : Yann.Ponty@lri.fr
   5  paper mail : LRI, bat 490 Université Paris-Sud 91405 Orsay Cedex France
   6
   7  This file is part of VARNA version 3.1.
   8  VARNA version 3.1 is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License
   9  as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
  10
  11  VARNA version 3.1 is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
  12  without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  13  See the GNU General Public License for more details.
  14
  15  You should have received a copy of the GNU General Public License along with VARNA version 3.1.
  16  If not, see http://www.gnu.org/licenses.
  17  */
  18 package fr.orsay.lri.varna.views;
  19
  20 import java.awt.Dimension;
  21 import java.awt.FlowLayout;
  22 import java.awt.GridLayout;
  23
  24 import javax.swing.JLabel;
  25 import javax.swing.JPanel;
  26 import javax.swing.JSlider;
  27 import javax.swing.event.ChangeEvent;
  28 import javax.swing.event.ChangeListener;
  29
  30 import fr.orsay.lri.varna.VARNAPanel;
  31 import fr.orsay.lri.varna.controlers.ControleurSliderLabel;
  32 import fr.orsay.lri.varna.controlers.ControleurZoom;
  33 import fr.orsay.lri.varna.models.VARNAConfig;
  34
  35 public class VueZoom implements ChangeListener {
  36
  37         private VARNAPanel _vp;
  38         private JSlider zoomSlider, zoomAmountSlider;
  39         private JPanel panel;
  40
  41         public VueZoom(VARNAPanel vp) {
  42                 _vp = vp;
  43
  44                 JPanel pup = new JPanel();
  45                 JPanel pdown = new JPanel();
  46                 panel = new JPanel();
  47                 panel.setLayout(new GridLayout(2, 1));
  48                 pup.setLayout(new FlowLayout(FlowLayout.LEFT));
  49                 pdown.setLayout(new FlowLayout(FlowLayout.LEFT));
  50
  51                 zoomSlider = new JSlider(JSlider.HORIZONTAL,
  52                                 (int) (VARNAConfig.MIN_ZOOM * 100),
  53                                 (int) (VARNAConfig.MAX_ZOOM * 100), (int) (_vp.getZoom() * 100));
  54                 // Turn on labels at major tick marks.
  55                 zoomSlider.setMajorTickSpacing(2000);
  56                 zoomSlider.setMinorTickSpacing(500);
  57                 zoomSlider.setPaintTicks(true);
  58                 zoomSlider.setPaintLabels(true);
  59                 zoomSlider.setPreferredSize(new Dimension(250, zoomSlider
  60                                 .getPreferredSize().height));
  61                 zoomSlider.addChangeListener(new ControleurZoom(this));
  62
  63                 JLabel zoomValueLabel = new JLabel(String.valueOf(_vp.getZoom()));
  64                 zoomValueLabel.setPreferredSize(new Dimension(50, zoomValueLabel
  65                                 .getPreferredSize().height));
  66                 zoomSlider.addChangeListener(new ControleurSliderLabel(zoomValueLabel,
  67                                 true));
  68
  69                 zoomAmountSlider = new JSlider(JSlider.HORIZONTAL,
  70                                 (int) (VARNAConfig.MIN_AMOUNT * 100),
  71                                 (int) (VARNAConfig.MAX_AMOUNT * 100), (int) (_vp
  72                                                 .getZoomIncrement() * 100));
  73                 // Turn on labels at major tick marks.
  74                 zoomAmountSlider.setMajorTickSpacing(50);
  75                 zoomAmountSlider.setMinorTickSpacing(10);
  76                 zoomAmountSlider.setPaintTicks(true);
  77                 zoomAmountSlider.setPaintLabels(true);
  78                 zoomAmountSlider.setPreferredSize(new Dimension(200, zoomAmountSlider
  79                                 .getPreferredSize().height));
  80
  81                 JLabel zoomAmountValueLabel = new JLabel(String.valueOf(_vp
  82                                 .getZoomIncrement()));
  83                 zoomAmountValueLabel.setPreferredSize(new Dimension(50,
  84                                 zoomAmountValueLabel.getPreferredSize().height));
  85                 zoomAmountSlider.addChangeListener(new ControleurSliderLabel(
  86                                 zoomAmountValueLabel, true));
  87                 zoomAmountSlider.addChangeListener(this);
  88
  89                 JLabel labelZ = new JLabel("Zoom:");
  90                 JLabel labelA = new JLabel("Increment:");
  91
  92                 pup.add(labelZ);
  93                 pup.add(zoomSlider);
  94                 pup.add(zoomValueLabel);
  95                 pdown.add(labelA);
  96                 pdown.add(zoomAmountSlider);
  97                 pdown.add(zoomAmountValueLabel);
  98                 panel.add(pup);
  99                 panel.add(pdown);
 100         }
 101
 102         public JPanel getPanel() {
 103                 return panel;
 104         }
 105
 106         public double getZoom() {
 107                 return zoomSlider.getValue() / 100.0;
 108         }
 109
 110         public double getZoomAmount() {
 111                 return zoomAmountSlider.getValue() / 100.0;
 112         }
 113
 114         public VARNAPanel get_vp() {
 115                 return _vp;
 116         }
 117
 118         public void stateChanged(ChangeEvent e) {
 119                 _vp.setZoomIncrement(getZoomAmount());
 120         }
 121 }