import javax.swing.JScrollPane;
import javax.swing.border.Border;
+@SuppressWarnings("serial")
public class GAlignmentPanel extends JPanel
{
protected JScrollBar vscroll = new JScrollBar();
BorderLayout borderLayout11 = new BorderLayout();
- public JScrollPane annotationScroller = new JScrollPane();
+ public JScrollPane annotationScroller = new JScrollPane();
Border border1;
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;
}
private void jbInit() throws Exception
{
- annotationScroller.setBackground(Color.white); // BH 2019
+ // annotationScroller.setBackground(Color.white); // BH 2019
border1 = BorderFactory.createLineBorder(Color.gray, 1);
idPanelHolder.setBorder(null);
hscrollFillerPanel.setPreferredSize(new Dimension(70, 10));
hscrollHolder.setBackground(Color.white);
annotationScroller.setBorder(null);
+ annotationScroller.setBackground(Color.BLUE);
annotationScroller.setPreferredSize(new Dimension(10, 80));
this.setPreferredSize(new Dimension(220, 166));