X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=4c8df4b2a4a2ec721135ec80e818aa9397a92838;hb=01cc2ef6f1206fc9839dae4888999f7c791898fd;hp=2b4c0dbc3fbc34eb84b6d225dcbc401d790c985f;hpb=bbfdb203ce3a889600caa52478478b75ab03809f;p=jalview.git diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index 2b4c0db..4c8df4b 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -32,7 +32,6 @@ import jalview.bin.Cache; import jalview.datamodel.*; import jalview.jbgui.*; import jalview.schemes.*; -import jalview.structure.SelectionSource; import jalview.structure.StructureSelectionManager; /** @@ -174,15 +173,28 @@ public class AlignmentPanel extends GAlignmentPanel implements */ public Dimension calculateIdWidth() { + // calculate sensible default width when no preference is available + + int afwidth = (alignFrame != null ? alignFrame.getWidth() : 300); + int maxwidth = Math.max(20, + Math.min(afwidth - 200, (int) 2 * afwidth / 3)); + return calculateIdWidth(maxwidth); + } + /** + * Calculate the width of the alignment labels based on the displayed names + * and any bounds on label width set in preferences. + * @param maxwidth -1 or maximum width allowed for IdWidth + * @return Dimension giving the maximum width of the alignment label panel + * that should be used. + */ + public Dimension calculateIdWidth(int maxwidth) + { Container c = new Container(); FontMetrics fm = c.getFontMetrics(new Font(av.font.getName(), Font.ITALIC, av.font.getSize())); AlignmentI al = av.getAlignment(); - int afwidth = (alignFrame != null ? alignFrame.getWidth() : 300); - int maxwidth = Math.max(20, - Math.min(afwidth - 200, (int) 2 * afwidth / 3)); int i = 0; int idWidth = 0; String id; @@ -221,7 +233,7 @@ public class AlignmentPanel extends GAlignmentPanel implements } } - return new Dimension(Math.min(maxwidth, idWidth), 12); + return new Dimension(maxwidth<0 ? idWidth : Math.min(maxwidth, idWidth), 12); } /** @@ -263,16 +275,16 @@ public class AlignmentPanel extends GAlignmentPanel implements // do we need to scroll the panel? // TODO: tons of nullpointereexceptions raised here. if (results != null && results.getSize() > 0 && av != null - && av.alignment != null) + && av.getAlignment() != null) { - int seqIndex = av.alignment.findIndex(results); + int seqIndex = av.getAlignment().findIndex(results); if (seqIndex == -1) { return false; } - SequenceI seq = av.alignment.getSequenceAt(seqIndex); + SequenceI seq = av.getAlignment().getSequenceAt(seqIndex); - int[] r=results.getResults(seq, 0, av.alignment.getWidth()); + int[] r=results.getResults(seq, 0, av.getAlignment().getWidth()); if (r == null) { return false; @@ -289,13 +301,13 @@ public class AlignmentPanel extends GAlignmentPanel implements { return false; } - if (av.hasHiddenColumns) + if (av.hasHiddenColumns()) { start = av.getColumnSelection().findColumnPosition(start); end = av.getColumnSelection().findColumnPosition(end); if (start==end) { - if (!av.colSel.isVisible(r[0])) + if (!av.getColumnSelection().isVisible(r[0])) { // don't scroll - position isn't visible return false; @@ -534,14 +546,14 @@ public class AlignmentPanel extends GAlignmentPanel implements public void setScrollValues(int x, int y) { // System.err.println("Scroll to "+x+","+y); - if (av == null || av.alignment == null) + if (av == null || av.getAlignment() == null) { return; } - int width = av.alignment.getWidth(); - int height = av.alignment.getHeight(); + int width = av.getAlignment().getWidth(); + int height = av.getAlignment().getHeight(); - if (av.hasHiddenColumns) + if (av.hasHiddenColumns()) { width = av.getColumnSelection().findColumnPosition(width); } @@ -710,9 +722,9 @@ public class AlignmentPanel extends GAlignmentPanel implements if (av.getWrapAlignment()) { - int maxwidth = av.alignment.getWidth(); + int maxwidth = av.getAlignment().getWidth(); - if (av.hasHiddenColumns) + if (av.hasHiddenColumns()) { maxwidth = av.getColumnSelection().findColumnPosition(maxwidth) - 1; } @@ -789,7 +801,7 @@ public class AlignmentPanel extends GAlignmentPanel implements public int printUnwrapped(Graphics pg, int pwidth, int pheight, int pi) throws PrinterException { - int idWidth = getVisibleIdWidth(); + int idWidth = getVisibleIdWidth(false); FontMetrics fm = getFontMetrics(av.getFont()); int scaleHeight = av.charHeight + fm.getDescent(); @@ -836,7 +848,7 @@ public class AlignmentPanel extends GAlignmentPanel implements endSeq = av.getAlignment().getHeight(); } - int pagesHigh = ((av.alignment.getHeight() / totalSeq) + 1) * pheight; + int pagesHigh = ((av.getAlignment().getHeight() / totalSeq) + 1) * pheight; if (av.showAnnotation) { @@ -907,12 +919,12 @@ public class AlignmentPanel extends GAlignmentPanel implements pg.translate(idWidth, 0); seqPanel.seqCanvas.drawPanel(pg, startRes, endRes, startSeq, endSeq, 0); - if (av.showAnnotation && (endSeq == av.alignment.getHeight())) + if (av.showAnnotation && (endSeq == av.getAlignment().getHeight())) { pg.translate(-idWidth - 3, (endSeq - startSeq) * av.charHeight + 3); alabels.drawComponent((Graphics2D) pg, idWidth); pg.translate(idWidth + 3, 0); - annotationPanel.drawComponent((Graphics2D) pg, startRes, endRes + 1); + annotationPanel.renderer.drawComponent(annotationPanel, av, (Graphics2D) pg, -1, startRes, endRes + 1); } return Printable.PAGE_EXISTS; @@ -956,10 +968,10 @@ public class AlignmentPanel extends GAlignmentPanel implements int cHeight = av.getAlignment().getHeight() * av.charHeight + hgap + annotationHeight; - int idWidth = getVisibleIdWidth(); + int idWidth = getVisibleIdWidth(false); - int maxwidth = av.alignment.getWidth(); - if (av.hasHiddenColumns) + int maxwidth = av.getAlignment().getWidth(); + if (av.hasHiddenColumns()) { maxwidth = av.getColumnSelection().findColumnPosition(maxwidth) - 1; } @@ -985,10 +997,10 @@ public class AlignmentPanel extends GAlignmentPanel implements do { - for (int i = 0; i < av.alignment.getHeight(); i++) + for (int i = 0; i < av.getAlignment().getHeight(); i++) { pg.setFont(idPanel.idCanvas.idfont); - SequenceI s = av.alignment.getSequenceAt(i); + SequenceI s = av.getAlignment().getSequenceAt(i); String string = s.getDisplayId(av.getShowJVSuffix()); int xPos = 0; if (av.rightAlignIds) @@ -1029,24 +1041,46 @@ public class AlignmentPanel extends GAlignmentPanel implements return Printable.NO_SUCH_PAGE; } } - + /** + * get current sequence ID panel width, or nominal value if panel were to be displayed using default settings + * @return + */ int getVisibleIdWidth() { - return idPanel.getWidth() > 0 ? idPanel.getWidth() - : calculateIdWidth().width + 4; + return getVisibleIdWidth(true); + } + + /** + * get current sequence ID panel width, or nominal value if panel were to be displayed using default settings + * @param onscreen indicate if the Id width for onscreen or offscreen display should be returned + * @return + */ + int getVisibleIdWidth(boolean onscreen) + { + // see if rendering offscreen - check preferences and calc width accordingly + if (!onscreen && Cache.getDefault("FIGURE_AUTOIDWIDTH", false)) + { + return calculateIdWidth(-1).width+4; + } + Integer idwidth=null; + if (onscreen || (idwidth=Cache.getIntegerProperty("FIGURE_FIXEDIDWIDTH"))==null) { + return (idPanel.getWidth() > 0 ? idPanel.getWidth() + : calculateIdWidth().width + 4); + } + return idwidth.intValue()+4; } void makeAlignmentImage(int type, File file) { - int maxwidth = av.alignment.getWidth(); - if (av.hasHiddenColumns) + int maxwidth = av.getAlignment().getWidth(); + if (av.hasHiddenColumns()) { maxwidth = av.getColumnSelection().findColumnPosition(maxwidth); } - int height = ((av.alignment.getHeight() + 1) * av.charHeight) + int height = ((av.getAlignment().getHeight() + 1) * av.charHeight) + scalePanel.getHeight(); - int width = getVisibleIdWidth() + (maxwidth * av.charWidth); + int width = getVisibleIdWidth(false) + (maxwidth * av.charWidth); if (av.getWrapAlignment()) { @@ -1054,14 +1088,16 @@ public class AlignmentPanel extends GAlignmentPanel implements if (System.getProperty("java.awt.headless") != null && System.getProperty("java.awt.headless").equals("true")) { - // TODO: JAL-244 + // need to obtain default alignment width and then add in any additional allowance for id margin + // this duplicates the calculation in getWrappedHeight but adjusts for offscreen idWith width = alignFrame.getWidth() - vscroll.getPreferredSize().width - alignFrame.getInsets().left - - alignFrame.getInsets().right; + - alignFrame.getInsets().right + - getVisibleIdWidth()+getVisibleIdWidth(false); } else { - width = seqPanel.getWidth() + getVisibleIdWidth(); + width = seqPanel.getWidth() + getVisibleIdWidth(false); } } @@ -1136,7 +1172,7 @@ public class AlignmentPanel extends GAlignmentPanel implements { // /////ONLY WORKS WITH NONE WRAPPED ALIGNMENTS // //////////////////////////////////////////// - int idWidth = getVisibleIdWidth(); + int idWidth = getVisibleIdWidth(false); FontMetrics fm = getFontMetrics(av.getFont()); int scaleHeight = av.charHeight + fm.getDescent(); @@ -1146,7 +1182,7 @@ public class AlignmentPanel extends GAlignmentPanel implements { try { - int s, sSize = av.alignment.getHeight(), res, alwidth = av.alignment + int s, sSize = av.getAlignment().getHeight(), res, alwidth = av.getAlignment() .getWidth(), g, gSize, f, fSize, sy; StringBuffer text = new StringBuffer(); PrintWriter out = new PrintWriter(new FileWriter(imgMapFile)); @@ -1159,15 +1195,15 @@ public class AlignmentPanel extends GAlignmentPanel implements { sy = s * av.charHeight + scaleHeight; - SequenceI seq = av.alignment.getSequenceAt(s); + SequenceI seq = av.getAlignment().getSequenceAt(s); SequenceFeature[] features = seq.getDatasetSequence() .getSequenceFeatures(); - SequenceGroup[] groups = av.alignment.findAllGroups(seq); + SequenceGroup[] groups = av.getAlignment().findAllGroups(seq); for (res = 0; res < alwidth; res++) { text = new StringBuffer(); Object obj = null; - if (av.alignment.isNucleotide()) + if (av.getAlignment().isNucleotide()) { obj = ResidueProperties.nucleotideName.get(seq.getCharAt(res) + ""); @@ -1303,8 +1339,8 @@ public class AlignmentPanel extends GAlignmentPanel implements int cHeight = av.getAlignment().getHeight() * av.charHeight + hgap + annotationHeight; - int maxwidth = av.alignment.getWidth(); - if (av.hasHiddenColumns) + int maxwidth = av.getAlignment().getWidth(); + if (av.hasHiddenColumns()) { maxwidth = av.getColumnSelection().findColumnPosition(maxwidth) - 1; } @@ -1328,7 +1364,7 @@ public class AlignmentPanel extends GAlignmentPanel implements jalview.structure.StructureSelectionManager ssm = av.getStructureSelectionManager(); ssm.removeStructureViewerListener(seqPanel, null); ssm.removeSelectionListener(seqPanel); - av.alignment = null; + av.setAlignment(null); av = null; } else @@ -1364,10 +1400,10 @@ public class AlignmentPanel extends GAlignmentPanel implements // remove old automatic annotation // add any new annotation - Vector gr = av.alignment.getGroups(); // OrderedBy(av.alignment.getSequencesArray()); + Vector gr = av.getAlignment().getGroups(); // OrderedBy(av.getAlignment().getSequencesArray()); // intersect alignment annotation with alignment groups - AlignmentAnnotation[] aan = av.alignment.getAlignmentAnnotation(); + AlignmentAnnotation[] aan = av.getAlignment().getAlignmentAnnotation(); Hashtable oldrfs = new Hashtable(); if (aan != null) { @@ -1376,7 +1412,7 @@ public class AlignmentPanel extends GAlignmentPanel implements if (aan[an].autoCalculated && aan[an].groupRef != null) { oldrfs.put(aan[an].groupRef, aan[an].groupRef); - av.alignment.deleteAnnotation(aan[an]); + av.getAlignment().deleteAnnotation(aan[an]); aan[an] = null; } } @@ -1398,12 +1434,12 @@ public class AlignmentPanel extends GAlignmentPanel implements if (conv) { updateCalcs = true; - av.alignment.addAnnotation(sg.getConservationRow(), 0); + av.getAlignment().addAnnotation(sg.getConservationRow(), 0); } if (cons) { updateCalcs = true; - av.alignment.addAnnotation(sg.getConsensus(), 0); + av.getAlignment().addAnnotation(sg.getConsensus(), 0); } // refresh the annotation rows if (updateCalcs) @@ -1419,7 +1455,7 @@ public class AlignmentPanel extends GAlignmentPanel implements @Override public AlignmentI getAlignment() { - return av.alignment; + return av.getAlignment(); } /** @@ -1452,4 +1488,10 @@ public class AlignmentPanel extends GAlignmentPanel implements { return av.getStructureSelectionManager(); } + + @Override + public void raiseOOMWarning(String string, OutOfMemoryError error) + { + new OOMWarning(string, error, this); + } }