canvas line/font/pixel fixes; menu accelerators;

[jalview.git] / src / jalview / jbgui / GAlignmentPanel.java

diff --git a/src/jalview/jbgui/GAlignmentPanel.java b/src/jalview/jbgui/GAlignmentPanel.java
index bf4f645..29a0cc0 100755 (executable)
--- a/src/jalview/jbgui/GAlignmentPanel.java
+++ b/src/jalview/jbgui/GAlignmentPanel.java
@@ -62,6 +62,9 @@ public class GAlignmentPanel extends JPanel
          
          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;
          }
@@ -90,7 +93,7 @@ public class GAlignmentPanel extends JPanel
 
   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);