Merge branch 'bug/JAL-2727closeAllFreeMemory' into develop
authorJim Procter <jprocter@issues.jalview.org>
Wed, 25 Oct 2017 14:53:29 +0000 (15:53 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Wed, 25 Oct 2017 14:53:29 +0000 (15:53 +0100)
1  2 
src/jalview/api/AlignViewportI.java
src/jalview/gui/AlignFrame.java
src/jalview/gui/AlignmentPanel.java
src/jalview/gui/Jalview2XML.java
src/jalview/viewmodel/AlignmentViewport.java

@@@ -483,6 -494,9 +484,10 @@@ public interface AlignViewportI extend
     * 
     * @return
     */
 +  @Override
    void setProteinFontAsCdna(boolean b);
+   public abstract TreeModel getCurrentTree();
+   public abstract void setCurrentTree(TreeModel tree);
  }
Simple merge
@@@ -476,10 -482,10 +475,10 @@@ public class AlignmentPanel extends GAl
      }
      else
      {
-       scrollNeeded = vpRanges.scrollToWrappedVisible(start);
+       scrollNeeded = ranges.scrollToWrappedVisible(start);
      }
  
 -    paintAlignment(redrawOverview);
 +    paintAlignment(redrawOverview, false);
  
      return scrollNeeded;
    }
        }
        else
        {
 -        int widthInRes = (canvasWidth / av.getCharWidth()) - 1;
 +        int widthInRes = (canvasWidth / av.getCharWidth());
          int heightInSeq = (getSeqPanel().seqCanvas.getHeight()
 -                / av.getCharHeight()) - 1;
 +                / av.getCharHeight());
  
-         vpRanges.setViewportWidth(widthInRes);
-         vpRanges.setViewportHeight(heightInSeq);
+         ranges.setViewportWidth(widthInRes);
+         ranges.setViewportHeight(heightInSeq);
        }
      }
  
        {
          return;
        }
-       vpRanges.setViewportStartAndHeight(y, height);
+       ranges.setViewportStartAndHeight(y, height);
      }
 -    if (!fastPaint)
 -    {
 -      repaint();
 -    }
 +    repaint();
    }
  
    /**
Simple merge