X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=b7028ac1db9b1a30f4de3beda4e6451b11f2490e;hb=1379350f04bc63ca05bd428afb86717c4764755d;hp=d06251c7694de626e8dd9140ec6475f5986e7475;hpb=ecf2d49dbf1d62c024845715f141a596cff8b065;p=jalview.git diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java old mode 100755 new mode 100644 index d06251c..b7028ac --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6) - * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) + * Copyright (C) 2011 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle * * This file is part of Jalview. * @@ -27,20 +27,22 @@ import java.awt.event.*; import java.awt.print.*; import javax.swing.*; +import jalview.api.AlignmentViewPanel; import jalview.bin.Cache; import jalview.datamodel.*; import jalview.jbgui.*; import jalview.schemes.*; import jalview.structure.SelectionSource; +import jalview.structure.StructureSelectionManager; /** * DOCUMENT ME! * * @author $author$ - * @version $Revision$ + * @version $Revision: 1.161 $ */ public class AlignmentPanel extends GAlignmentPanel implements - AdjustmentListener, Printable + AdjustmentListener, Printable, AlignmentViewPanel { public AlignViewport av; @@ -324,11 +326,11 @@ public class AlignmentPanel extends GAlignmentPanel implements scrollToWrappedVisible(start); } } - if (!redrawOverview && overviewPanel != null) + if (redrawOverview && overviewPanel != null) { overviewPanel.setBoxPosition(); } - paintAlignment(!redrawOverview); + paintAlignment(redrawOverview); return true; } @@ -366,10 +368,9 @@ public class AlignmentPanel extends GAlignmentPanel implements } /** - * DOCUMENT ME! * - * @param b - * DOCUMENT ME! + * @param b Hide or show annotation panel + * */ public void setAnnotationVisible(boolean b) { @@ -381,6 +382,10 @@ public class AlignmentPanel extends GAlignmentPanel implements repaint(); } + /** + * automatically adjust annotation panel height for new annotation + * whilst ensuring the alignment is still visible. + */ public void adjustAnnotationHeight() { // TODO: display vertical annotation scrollbar if necessary @@ -389,9 +394,17 @@ public class AlignmentPanel extends GAlignmentPanel implements { System.out.println("NEEDS FIXING"); } - + validateAnnotationDimensions(true); + addNotify(); + paintAlignment(true); + } + /** + * calculate the annotation dimensions and refresh slider values accordingly. + * need to do repaints/notifys afterwards. + */ + protected void validateAnnotationDimensions(boolean adjustPanelHeight) { int height = annotationPanel.adjustPanelHeight(); - + if (hscroll.isVisible()) { height += hscroll.getPreferredSize().height; @@ -400,17 +413,20 @@ public class AlignmentPanel extends GAlignmentPanel implements { height = alignFrame.getHeight() / 2; } - + if (!adjustPanelHeight) + { + // maintain same window layout whilst updating sliders + height=annotationScroller.getSize().height; + } hscroll.addNotify(); - + annotationScroller.setPreferredSize(new Dimension(annotationScroller .getWidth(), height)); annotationSpaceFillerHolder.setPreferredSize(new Dimension( annotationSpaceFillerHolder.getWidth(), height)); annotationScroller.validate();// repaint(); - addNotify(); - repaint(); + annotationScroller.addNotify(); } /** @@ -668,8 +684,7 @@ public class AlignmentPanel extends GAlignmentPanel implements if (updateOverview) { - jalview.structure.StructureSelectionManager - .getStructureSelectionManager().sequenceColoursChanged(this); + av.getStructureSelectionManager().sequenceColoursChanged(this); if (overviewPanel != null) { @@ -1039,6 +1054,7 @@ public class AlignmentPanel extends GAlignmentPanel implements if (System.getProperty("java.awt.headless") != null && System.getProperty("java.awt.headless").equals("true")) { + // TODO: JAL-244 width = alignFrame.getWidth() - vscroll.getPreferredSize().width - alignFrame.getInsets().left - alignFrame.getInsets().right; @@ -1304,15 +1320,14 @@ public class AlignmentPanel extends GAlignmentPanel implements */ public void closePanel() { - jalview.structure.StructureSelectionManager ssm = jalview.structure.StructureSelectionManager - .getStructureSelectionManager(); - ssm.removeStructureViewerListener(seqPanel, null); - ssm.removeSelectionListener(seqPanel); PaintRefresher.RemoveComponent(seqPanel.seqCanvas); PaintRefresher.RemoveComponent(idPanel.idCanvas); PaintRefresher.RemoveComponent(this); if (av != null) { + jalview.structure.StructureSelectionManager ssm = av.getStructureSelectionManager(); + ssm.removeStructureViewerListener(seqPanel, null); + ssm.removeSelectionListener(seqPanel); av.alignment = null; av = null; } @@ -1398,4 +1413,41 @@ public class AlignmentPanel extends GAlignmentPanel implements oldrfs.clear(); adjustAnnotationHeight(); } + + @Override + public AlignmentI getAlignment() + { + return av.alignment; + } + + /** + * get the name for this view + * @return + */ + public String getViewName() + { + return av.viewName; + } + + /** + * Make/Unmake this alignment panel the current input focus + * @param b + */ + public void setSelected(boolean b) + { + try { + alignFrame.setSelected(b); + } catch (Exception ex) {}; + + if (b) + { + alignFrame.setDisplayedView(this); + } + } + + @Override + public StructureSelectionManager getStructureSelectionManager() + { + return av.getStructureSelectionManager(); + } }