+/*
+ 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 fr.orsay.lri.varna.VARNAPanel;
+import fr.orsay.lri.varna.controlers.ControleurBorder;
+import fr.orsay.lri.varna.controlers.ControleurSliderLabel;
+
+public class VueBorder {
+
+ private VARNAPanel _vp;
+ private JSlider borderHeightSlider, borderWidthSlider;
+ private JPanel panel;
+
+ public VueBorder(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));
+
+ borderHeightSlider = new JSlider(JSlider.HORIZONTAL, 0,
+ _vp.getHeight() / 2 - 10, _vp.getBorderSize().height);
+ // Turn on labels at major tick marks.
+ borderHeightSlider.setMajorTickSpacing(50);
+ borderHeightSlider.setMinorTickSpacing(10);
+ borderHeightSlider.setPaintTicks(true);
+ borderHeightSlider.setPaintLabels(true);
+ JLabel borderHeightLabel = new JLabel(String.valueOf(_vp
+ .getBorderSize().height));
+ borderHeightLabel.setPreferredSize(new Dimension(50, borderHeightLabel
+ .getPreferredSize().height));
+ borderHeightSlider.addChangeListener(new ControleurSliderLabel(
+ borderHeightLabel, false));
+ borderHeightSlider.addChangeListener(new ControleurBorder(this));
+
+ borderWidthSlider = new JSlider(JSlider.HORIZONTAL, 0,
+ _vp.getWidth() / 2 - 10, _vp.getBorderSize().width);
+ // Turn on labels at major tick marks.
+ borderWidthSlider.setMajorTickSpacing(50);
+ borderWidthSlider.setMinorTickSpacing(10);
+ borderWidthSlider.setPaintTicks(true);
+ borderWidthSlider.setPaintLabels(true);
+ JLabel borderWidthLabel = new JLabel(String
+ .valueOf(_vp.getBorderSize().width));
+ borderWidthLabel.setPreferredSize(new Dimension(50, borderWidthLabel
+ .getPreferredSize().height));
+ borderWidthSlider.addChangeListener(new ControleurSliderLabel(
+ borderWidthLabel, false));
+ borderWidthSlider.addChangeListener(new ControleurBorder(this));
+
+ JLabel labelW = new JLabel("Width:");
+ JLabel labelH = new JLabel("Height:");
+
+ pup.add(labelW);
+ pup.add(borderWidthSlider);
+ pup.add(borderWidthLabel);
+
+ pdown.add(labelH);
+ pdown.add(borderHeightSlider);
+ pdown.add(borderHeightLabel);
+
+ panel.add(pup);
+ panel.add(pdown);
+ }
+
+ public JPanel getPanel() {
+ return panel;
+ }
+
+ public Dimension getDimension() {
+ return new Dimension(borderWidthSlider.getValue(), borderHeightSlider
+ .getValue());
+ }
+
+ public int getHeight() {
+ return borderHeightSlider.getValue();
+ }
+
+ public int getWidth() {
+ return borderWidthSlider.getValue();
+ }
+
+ public VARNAPanel get_vp() {
+ return _vp;
+ }
+}