Merge branch 'develop' into efficiency/JAL-2034_JAL-1421

diff --combined src/jalview/gui/AlignFrame.java
index e11c0ec,15f88fb..b0debf8
--- 1/src/jalview/gui/AlignFrame.java
--- 2/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@@ -2434,10 -2434,7 +2434,10 @@@ public class AlignFrame extends GAlignF
      sg.setEndRes(viewport.getAlignment().getWidth() - 1);
      viewport.setSelectionGroup(sg);
      viewport.sendSelection();
 -    alignPanel.paintAlignment(true);
 +    // JAL-2034 - should delegate to
 +    // alignPanel to decide if overview needs
 +    // updating.
 +    alignPanel.paintAlignment(false);
      PaintRefresher.Refresh(alignPanel, viewport.getSequenceSetId());
    }
  
@@@ -2460,10 -2457,7 +2460,10 @@@
      viewport.setSelectionGroup(null);
      alignPanel.getSeqPanel().seqCanvas.highlightSearchResults(null);
      alignPanel.getIdPanel().getIdCanvas().searchResults = null;
 -    alignPanel.paintAlignment(true);
 +    // JAL-2034 - should delegate to
 +    // alignPanel to decide if overview needs
 +    // updating.
 +    alignPanel.paintAlignment(false);
      PaintRefresher.Refresh(alignPanel, viewport.getSequenceSetId());
      viewport.sendSelection();
    }
@@@ -2490,9 -2484,6 +2490,9 @@@
      {
        sg.addOrRemove(viewport.getAlignment().getSequenceAt(i), false);
      }
 +    // JAL-2034 - should delegate to
 +    // alignPanel to decide if overview needs
 +    // updating.
  
      alignPanel.paintAlignment(true);
      PaintRefresher.Refresh(alignPanel, viewport.getSequenceSetId());
@@@ -2840,7 -2831,7 +2840,7 @@@
    @Override
    public void expandViews_actionPerformed(ActionEvent e)
    {
-     Desktop.instance.explodeViews(this);
+     Desktop.explodeViews(this);
    }
  
    /**