+ static JPanel newJPanel()
+ { // BH 2019
+ JPanel p = new JPanel();
+ // leaving this in, as it prevents
+ // the checkerboard business, despite how
+ // funky that looks. Remove if you want to.
+ p.setBackground(Color.white);
+ return p;
+ }
+
+ protected JPanel sequenceHolderPanel = newJPanel();
+
+ protected JPanel seqPanelHolder = newJPanel();
+
+ protected JPanel scalePanelHolder = newJPanel();
+
+ public JPanel idPanelHolder = newJPanel();
+
+ protected JPanel idSpaceFillerPanel1 = newJPanel();
+
+ public JPanel annotationSpaceFillerHolder = newJPanel();
+
+ protected JPanel hscrollFillerPanel = newJPanel();
+
+ JPanel hscrollHolder = newJPanel();
+