JAL-3032 upgrade to Jmol 14.29.17; clearing of src2 directory

[jalview.git] / src2 / fr / orsay / lri / varna / views / VueBorder.java

diff --git a/src2/fr/orsay/lri/varna/views/VueBorder.java b/src2/fr/orsay/lri/varna/views/VueBorder.java
deleted file mode 100644 (file)
index b0f9ca6..0000000
--- a/src2/fr/orsay/lri/varna/views/VueBorder.java
+++ /dev/null
@@ -1,114 +0,0 @@
-/*
- 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;
-       }
-}