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()
{
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));