X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=fd53faf9eb74e918ab01f10176010f83c05f7a7c;hb=d043ce47fc710d3eb2629ba926a8a7417bd67d8c;hp=277e11dd84ab24874e80c089f9ef538233f41a07;hpb=49db0dff1da16c3355b43a41498c1fc93ef47e91;p=jalview.git diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index 277e11d..fd53faf 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -20,34 +20,11 @@ */ package jalview.gui; -import java.awt.BorderLayout; -import java.awt.Color; -import java.awt.Container; -import java.awt.Dimension; -import java.awt.Font; -import java.awt.FontMetrics; -import java.awt.Graphics; -import java.awt.Graphics2D; -import java.awt.event.AdjustmentEvent; -import java.awt.event.AdjustmentListener; -import java.awt.event.ComponentAdapter; -import java.awt.event.ComponentEvent; -import java.awt.print.PageFormat; -import java.awt.print.Printable; -import java.awt.print.PrinterException; -import java.beans.PropertyChangeEvent; -import java.beans.PropertyChangeListener; -import java.io.File; -import java.io.FileWriter; -import java.io.PrintWriter; -import java.util.List; - -import javax.swing.SwingUtilities; - import jalview.analysis.AnnotationSorter; import jalview.api.AlignViewportI; import jalview.api.AlignmentViewPanel; import jalview.bin.Cache; +import jalview.bin.Console; import jalview.bin.Jalview; import jalview.datamodel.AlignmentI; import jalview.datamodel.HiddenColumns; @@ -68,6 +45,30 @@ import jalview.viewmodel.AlignmentViewport; import jalview.viewmodel.ViewportListenerI; import jalview.viewmodel.ViewportRanges; +import java.awt.BorderLayout; +import java.awt.Color; +import java.awt.Container; +import java.awt.Dimension; +import java.awt.Font; +import java.awt.FontMetrics; +import java.awt.Graphics; +import java.awt.Graphics2D; +import java.awt.event.AdjustmentEvent; +import java.awt.event.AdjustmentListener; +import java.awt.event.ComponentAdapter; +import java.awt.event.ComponentEvent; +import java.awt.print.PageFormat; +import java.awt.print.Printable; +import java.awt.print.PrinterException; +import java.beans.PropertyChangeEvent; +import java.beans.PropertyChangeListener; +import java.io.File; +import java.io.FileWriter; +import java.io.PrintWriter; +import java.util.List; + +import javax.swing.SwingUtilities; + /** * DOCUMENT ME! * @@ -314,6 +315,7 @@ public class AlignmentPanel extends GAlignmentPanel implements public Dimension calculateIdWidth(int maxwidth) { Container c = this;// new Container(); + FontMetrics fm = c.getFontMetrics( new Font(av.font.getName(), Font.ITALIC, av.font.getSize())); @@ -322,7 +324,6 @@ public class AlignmentPanel extends GAlignmentPanel implements int idWidth = 0; boolean withSuffix = av.getShowJVSuffix(); - while ((i < al.getHeight()) && (al.getSequenceAt(i) != null)) { SequenceI s = al.getSequenceAt(i); @@ -594,6 +595,7 @@ public class AlignmentPanel extends GAlignmentPanel implements Dimension e = idPanel.getSize(); alabels.setSize(new Dimension(e.width, annotationHeight)); + annotationSpaceFillerHolder.setPreferredSize(new Dimension( annotationSpaceFillerHolder.getWidth(), annotationHeight)); annotationScroller.validate(); @@ -641,6 +643,7 @@ public class AlignmentPanel extends GAlignmentPanel implements { validateAnnotationDimensions(false); } + int canvasWidth = getSeqPanel().seqCanvas.getWidth(); if (canvasWidth > 0) { // may not yet be laid out @@ -694,6 +697,7 @@ public class AlignmentPanel extends GAlignmentPanel implements { int width = av.getAlignment().getVisibleWidth(); int height = av.getAlignment().getHeight(); + hextent = Math.min(getSeqPanel().seqCanvas.getWidth() / av.getCharWidth(), width); vextent = Math.min(getSeqPanel().seqCanvas.getHeight() / av.getCharHeight(), height); @@ -711,7 +715,6 @@ public class AlignmentPanel extends GAlignmentPanel implements hscroll.setValues(x, hextent, 0, width); vscroll.setValues(y, vextent, 0, height); } - /** * Respond to adjustment event when horizontal or vertical scrollbar is * changed @@ -728,6 +731,7 @@ public class AlignmentPanel extends GAlignmentPanel implements return; } + if (evt.getSource() == hscroll) { if (!updateRanges(hscroll.getValue(), Integer.MIN_VALUE)) @@ -831,7 +835,7 @@ public class AlignmentPanel extends GAlignmentPanel implements // could not be validated and it is not clear if it is now being // called. Log warning here in case it is called and unforeseen // problems occur - Cache.log.warn( + Console.warn( "Unexpected path through code: Wrapped jar file opened with wrap alignment set in preferences"); // scroll to start of panel @@ -861,6 +865,7 @@ public class AlignmentPanel extends GAlignmentPanel implements } if (updateOverview) { + alignFrame.repaint(); if (overviewPanel != null) { @@ -1493,9 +1498,9 @@ public class AlignmentPanel extends GAlignmentPanel implements } else { - if (Cache.log.isDebugEnabled()) + if (Console.isDebugEnabled()) { - Cache.log.warn("Closing alignment panel which is already closed."); + Console.warn("Closing alignment panel which is already closed."); } } } @@ -1573,10 +1578,15 @@ public class AlignmentPanel extends GAlignmentPanel implements if (b) { - alignFrame.setDisplayedView(this); + setAlignFrameView(); } } + public void setAlignFrameView() + { + alignFrame.setDisplayedView(this); + } + @Override public StructureSelectionManager getStructureSelectionManager() { @@ -1748,7 +1758,6 @@ public class AlignmentPanel extends GAlignmentPanel implements ViewportRanges ranges = av.getRanges(); setScrollValues(ranges.getStartRes(), ranges.getStartSeq()); } - /** * Set the reference to the PCA/Tree chooser dialog for this panel. This * reference should be nulled when the dialog is closed.