X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGAlignmentPanel.java;h=fc8b8dd3c8f6880e5696559e94849216cbd910df;hb=6e71f42b0a3713ddbc3054e7ea9d8f5088130ec9;hp=58957b3c347610d224fe5ebe795091d01c448e8a;hpb=7c1e9288401f2e32b91d46e20131b3e23769236c;p=jalview.git diff --git a/src/jalview/jbgui/GAlignmentPanel.java b/src/jalview/jbgui/GAlignmentPanel.java index 58957b3..fc8b8dd 100755 --- a/src/jalview/jbgui/GAlignmentPanel.java +++ b/src/jalview/jbgui/GAlignmentPanel.java @@ -1,104 +1,102 @@ -/******************** - * 2004 Jalview Reengineered - * Barton Group - * Dundee University - * - * AM Waterhouse - *******************/ - -package jalview.jbgui; - -import java.awt.*; -import javax.swing.*; - -public class GAlignmentPanel extends JPanel -{ - protected JPanel sequenceHolderPanel = new JPanel(); - protected JScrollBar vscroll = new JScrollBar(); - protected JScrollBar hscroll = new JScrollBar(); - protected JPanel seqPanelHolder = new JPanel(); - BorderLayout borderLayout1 = new BorderLayout(); - BorderLayout borderLayout3 = new BorderLayout(); - JPanel jPanel2 = new JPanel(); - BorderLayout borderLayout2 = new BorderLayout(); - protected JPanel scorePanelHolder = new JPanel(); - protected JPanel scalePanelHolder = new JPanel(); - protected JPanel idPanelHolder = new JPanel(); - BorderLayout borderLayout5 = new BorderLayout(); - protected JPanel idSpaceFillerPanel1 = new JPanel(); - protected JPanel idSpaceFillerPanel = new JPanel(); - BorderLayout borderLayout4 = new BorderLayout(); - BorderLayout borderLayout6 = new BorderLayout(); - ButtonGroup buttonGroup1 = new ButtonGroup(); - BorderLayout borderLayout7 = new BorderLayout(); - JPanel jPanel1 = new JPanel(); - FlowLayout flowLayout1 = new FlowLayout(); - JPanel jPanel3 = new JPanel(); - protected JPanel secondaryPanelHolder = new JPanel(); - BorderLayout borderLayout8 = new BorderLayout(); - BorderLayout borderLayout9 = new BorderLayout(); - - public GAlignmentPanel() - { - try - { - jbInit(); - } - catch(Exception e) - { - e.printStackTrace(); - } - } - private void jbInit() throws Exception - { - idPanelHolder.setBorder(null); - idPanelHolder.setPreferredSize(new Dimension(70, 10)); - this.setLayout(borderLayout7); - sequenceHolderPanel.setMaximumSize(new Dimension(2147483647, 2147483647)); - sequenceHolderPanel.setMinimumSize(new Dimension(150, 150)); - sequenceHolderPanel.setPreferredSize(new Dimension(150, 150)); - sequenceHolderPanel.setLayout(borderLayout3); - seqPanelHolder.setLayout(borderLayout1); - jPanel2.setBackground(new Color(212, 208, 230)); - jPanel2.setBorder(null); - jPanel2.setLayout(borderLayout2); - scalePanelHolder.setBackground(Color.white); - scalePanelHolder.setMinimumSize(new Dimension(10, 80)); - scalePanelHolder.setPreferredSize(new Dimension(10, 30)); - scalePanelHolder.setLayout(borderLayout6); - scorePanelHolder.setBackground(Color.white); - scorePanelHolder.setPreferredSize(new Dimension(10, 80)); - scorePanelHolder.setLayout(borderLayout4); - idPanelHolder.setLayout(borderLayout5); - idSpaceFillerPanel1.setBackground(Color.white); - idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30)); - idSpaceFillerPanel.setBackground(Color.white); - idSpaceFillerPanel.setPreferredSize(new Dimension(10, 80)); - hscroll.setOrientation(JScrollBar.HORIZONTAL); - hscroll.setMinimumSize(new Dimension(250, 16)); - hscroll.setPreferredSize(new Dimension(250, 16)); - vscroll.setEnabled(true); - jPanel1.setBackground(new Color(220, 220, 220)); - jPanel1.setLayout(flowLayout1); - flowLayout1.setHgap(0); - flowLayout1.setVgap(0); - jPanel3.setLayout(borderLayout9); - secondaryPanelHolder.setBackground(Color.cyan); - secondaryPanelHolder.setLayout(borderLayout8); - sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH); - sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER); - this.add(jPanel2, BorderLayout.CENTER); - jPanel2.add(sequenceHolderPanel, BorderLayout.CENTER); - seqPanelHolder.add(vscroll, BorderLayout.EAST); - sequenceHolderPanel.add(jPanel3, BorderLayout.SOUTH); - jPanel3.add(scorePanelHolder, BorderLayout.CENTER); - jPanel3.add(secondaryPanelHolder, BorderLayout.SOUTH); - this.add(idPanelHolder, BorderLayout.WEST); - idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH); - idPanelHolder.add(idSpaceFillerPanel, BorderLayout.SOUTH); - this.add(jPanel1, BorderLayout.SOUTH); - jPanel1.add(hscroll, null); - } - - -} +/* +* Jalview - A Sequence Alignment Editor and Viewer +* Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle +* +* This program 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 2 +* of the License, or (at your option) any later version. +* +* This program 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 this program; if not, write to the Free Software +* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA +*/ +package jalview.jbgui; + +import java.awt.*; + +import javax.swing.*; +import javax.swing.border.*; + + +public class GAlignmentPanel extends JPanel { + protected JPanel sequenceHolderPanel = new JPanel(); + protected JScrollBar vscroll = new JScrollBar(); + protected JScrollBar hscroll = new JScrollBar(); + protected JPanel seqPanelHolder = new JPanel(); + BorderLayout borderLayout1 = new BorderLayout(); + BorderLayout borderLayout3 = new BorderLayout(); + protected JPanel scalePanelHolder = new JPanel(); + protected JPanel idPanelHolder = new JPanel(); + BorderLayout borderLayout5 = new BorderLayout(); + protected JPanel idSpaceFillerPanel1 = new JPanel(); + public JPanel annotationSpaceFillerHolder = new JPanel(); + BorderLayout borderLayout6 = new BorderLayout(); + ButtonGroup buttonGroup1 = new ButtonGroup(); + BorderLayout borderLayout7 = new BorderLayout(); + JPanel hscrollHolder = new JPanel(); + BorderLayout borderLayout10 = new BorderLayout(); + protected JPanel hscrollFillerPanel = new JPanel(); + BorderLayout borderLayout11 = new BorderLayout(); + public JScrollPane annotationScroller = new JScrollPane(); + Border border1; + BorderLayout borderLayout4 = new BorderLayout(); + + public GAlignmentPanel() { + try { + jbInit(); + } catch (Exception e) { + e.printStackTrace(); + } + } + + private void jbInit() throws Exception { + border1 = BorderFactory.createLineBorder(Color.gray, 1); + idPanelHolder.setBorder(null); + idPanelHolder.setPreferredSize(new Dimension(70, 10)); + this.setLayout(borderLayout7); + sequenceHolderPanel.setMaximumSize(new Dimension(2147483647, 2147483647)); + sequenceHolderPanel.setMinimumSize(new Dimension(150, 150)); + sequenceHolderPanel.setPreferredSize(new Dimension(150, 150)); + sequenceHolderPanel.setLayout(borderLayout3); + seqPanelHolder.setLayout(borderLayout1); + scalePanelHolder.setBackground(Color.white); + scalePanelHolder.setMinimumSize(new Dimension(10, 80)); + scalePanelHolder.setPreferredSize(new Dimension(10, 30)); + scalePanelHolder.setLayout(borderLayout6); + idPanelHolder.setLayout(borderLayout5); + idSpaceFillerPanel1.setBackground(Color.white); + idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30)); + idSpaceFillerPanel1.setLayout(borderLayout11); + annotationSpaceFillerHolder.setBackground(Color.white); + annotationSpaceFillerHolder.setPreferredSize(new Dimension(10, 80)); + annotationSpaceFillerHolder.setLayout(borderLayout4); + hscroll.setOrientation(JScrollBar.HORIZONTAL); + hscrollHolder.setLayout(borderLayout10); + hscrollFillerPanel.setBackground(Color.white); + hscrollFillerPanel.setPreferredSize(new Dimension(70, 10)); + hscrollHolder.setBackground(Color.white); + annotationScroller.setBorder(null); + annotationScroller.setPreferredSize(new Dimension(10, 80)); + this.setPreferredSize(new Dimension(220, 166)); + this.setRequestFocusEnabled(true); + sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH); + sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER); + seqPanelHolder.add(vscroll, BorderLayout.EAST); + sequenceHolderPanel.add(annotationScroller, BorderLayout.SOUTH); + + // jPanel3.add(secondaryPanelHolder, BorderLayout.SOUTH); + this.add(idPanelHolder, BorderLayout.WEST); + idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH); + idPanelHolder.add(annotationSpaceFillerHolder, BorderLayout.SOUTH); + this.add(hscrollHolder, BorderLayout.SOUTH); + hscrollHolder.add(hscroll, BorderLayout.CENTER); + hscrollHolder.add(hscrollFillerPanel, BorderLayout.WEST); + this.add(sequenceHolderPanel, BorderLayout.CENTER); + } +}