X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGAlignmentPanel.java;h=bf4f6451cf562800cd2fdf78e2ce17cd3c34d2d9;hb=7fb89dadbc3eac97602fc84e519014582abe4649;hp=6e09799015c4fd14cddb8b75bfe4c43258f97146;hpb=90f198f9988ef8a98d46b95e21b22a8fcea541d8;p=jalview.git diff --git a/src/jalview/jbgui/GAlignmentPanel.java b/src/jalview/jbgui/GAlignmentPanel.java index 6e09799..bf4f645 100755 --- a/src/jalview/jbgui/GAlignmentPanel.java +++ b/src/jalview/jbgui/GAlignmentPanel.java @@ -33,47 +33,49 @@ import javax.swing.border.Border; public class GAlignmentPanel extends JPanel { - protected JPanel sequenceHolderPanel = new JPanel(); + protected JScrollBar vscroll = new JScrollBar(); - protected JScrollBar vscroll = new JScrollBar(); + protected JScrollBar hscroll = new JScrollBar(); - protected JScrollBar hscroll = new JScrollBar(); + BorderLayout borderLayout1 = new BorderLayout(); - protected JPanel seqPanelHolder = new JPanel(); + BorderLayout borderLayout3 = new BorderLayout(); - BorderLayout borderLayout1 = new BorderLayout(); + BorderLayout borderLayout5 = new BorderLayout(); - BorderLayout borderLayout3 = new BorderLayout(); + BorderLayout borderLayout6 = new BorderLayout(); - protected JPanel scalePanelHolder = new JPanel(); + ButtonGroup buttonGroup1 = new ButtonGroup(); - protected JPanel idPanelHolder = new JPanel(); + BorderLayout borderLayout7 = new BorderLayout(); - BorderLayout borderLayout5 = new BorderLayout(); + BorderLayout borderLayout10 = new BorderLayout(); - protected JPanel idSpaceFillerPanel1 = new JPanel(); + BorderLayout borderLayout11 = new BorderLayout(); - public JPanel annotationSpaceFillerHolder = new JPanel(); + public JScrollPane annotationScroller = new JScrollPane(); - BorderLayout borderLayout6 = new BorderLayout(); + Border border1; - ButtonGroup buttonGroup1 = new ButtonGroup(); + BorderLayout borderLayout4 = new BorderLayout(); - BorderLayout borderLayout7 = new BorderLayout(); + + static JPanel newJPanel() { // BH 2019 + JPanel p = new JPanel(); + p.setBackground(Color.white); + return p; + } - JPanel hscrollHolder = new JPanel(); + protected JPanel sequenceHolderPanel = newJPanel(); + protected JPanel seqPanelHolder = newJPanel(); + protected JPanel scalePanelHolder = newJPanel(); + protected JPanel idPanelHolder = newJPanel(); + protected JPanel idSpaceFillerPanel1 = newJPanel(); + public JPanel annotationSpaceFillerHolder = newJPanel(); + protected JPanel hscrollFillerPanel = newJPanel(); + JPanel hscrollHolder = newJPanel(); - 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() { @@ -88,6 +90,8 @@ public class GAlignmentPanel extends JPanel private void jbInit() throws Exception { + annotationScroller.setBackground(Color.white); // BH 2019 + border1 = BorderFactory.createLineBorder(Color.gray, 1); idPanelHolder.setBorder(null); idPanelHolder.setPreferredSize(new Dimension(70, 10));