X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAlignmentPanel.java;h=b1a8b8bb2cbc279772ba7c5bca5158274fd8c232;hb=3045b37e365018c7fe5a97fec36994eb22c379a4;hp=7332a1af8368be4f2b1c3c3c4fb12158f1116587;hpb=ee53965807b83bf93a21cbc341cee9a9e005b2cb;p=jalview.git diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java index 7332a1a..b1a8b8b 100755 --- a/src/jalview/appletgui/AlignmentPanel.java +++ b/src/jalview/appletgui/AlignmentPanel.java @@ -23,10 +23,8 @@ import java.awt.*; import java.awt.event.*; import jalview.datamodel.*; -import jalview.jbappletgui.*; -public class AlignmentPanel - extends GAlignmentPanel implements AdjustmentListener +public class AlignmentPanel extends Panel implements AdjustmentListener { AlignViewport av; @@ -46,6 +44,15 @@ public class AlignmentPanel public AlignmentPanel(AlignFrame af, final AlignViewport av) { + try + { + jbInit(); + } + catch (Exception e) + { + e.printStackTrace(); + } + if(System.getProperty("os.name").startsWith("Mac")) MAC = true; @@ -56,11 +63,15 @@ public class AlignmentPanel scalePanel = new ScalePanel(av, this); idwidthAdjuster = new IdwidthAdjuster(this); annotationPanel = new AnnotationPanel(this); + + sequenceHolderPanel.add(annotationPanel, BorderLayout.SOUTH); + alabels = new AnnotationLabels(this); + setAnnotationVisible(av.showAnnotation); + idPanelHolder.add(idPanel, BorderLayout.CENTER); idSpaceFillerPanel1.add(idwidthAdjuster, BorderLayout.CENTER); - annotationScroller.add(annotationPanel); annotationSpaceFillerHolder.add(alabels, BorderLayout.CENTER); scalePanelHolder.add(scalePanel, BorderLayout.CENTER); seqPanelHolder.add(seqPanel, BorderLayout.CENTER); @@ -71,9 +82,6 @@ public class AlignmentPanel hscroll.addAdjustmentListener(this); vscroll.addAdjustmentListener(this); - seqPanel.seqCanvas.addKeyListener(new MyKeyAdapter()); - idPanel.idCanvas.addKeyListener(new MyKeyAdapter()); - addComponentListener(new ComponentAdapter() { public void componentResized(ComponentEvent evt) @@ -87,7 +95,6 @@ public class AlignmentPanel idPanel.idCanvas.setSize(d); hscrollFillerPanel.setSize(d.width, annotationPanel.getSize().height); - annotationScroller.setSize(annotationPanel.getSize()); idPanel.idCanvas.setSize(d.width, seqPanel.seqCanvas.getSize().height); annotationSpaceFillerHolder.setSize(d.width, @@ -96,80 +103,28 @@ public class AlignmentPanel } - class MyKeyAdapter - extends KeyAdapter - { - public void keyPressed(KeyEvent evt) - { - // System.out.println(evt.getKeyCode()); log. - switch (evt.getKeyCode()) - { - case 27: // escape key - av.setSelectionGroup(null); - alignFrame.alignPanel.repaint(); - break; - case KeyEvent.VK_X: - if (evt.isControlDown()) - { - alignFrame.cut_actionPerformed(null); - } - break; - case KeyEvent.VK_C: - if (evt.isControlDown()) - { - alignFrame.copy_actionPerformed(null); - } - break; - case KeyEvent.VK_V: - if (evt.isControlDown()) - { - alignFrame.paste(true); - } - break; - case KeyEvent.VK_A: - if (evt.isControlDown()) - { - alignFrame.selectAllSequenceMenuItem_actionPerformed(null); - } - break; - case KeyEvent.VK_DOWN: - alignFrame.moveSelectedSequences(false); - break; - case KeyEvent.VK_UP: - alignFrame.moveSelectedSequences(true); - break; - case KeyEvent.VK_F: - if (evt.isControlDown()) - { - alignFrame.findMenuItem_actionPerformed(null); - } - break; - case KeyEvent.VK_BACK_SPACE: - case KeyEvent.VK_DELETE: - alignFrame.cut_actionPerformed(null); - break; - - } - } - } public void fontChanged() { // set idCanvas bufferedImage to null // to prevent drawing old image + idPanel.idCanvas.image = null; FontMetrics fm = getFontMetrics(av.getFont()); scalePanel.setSize(new Dimension(10, av.charHeight + fm.getDescent())); idwidthAdjuster.setSize(new Dimension(10, av.charHeight + fm.getDescent())); - annotationPanel.adjustPanelHeight(); + annotationPanel.image = null; + int ap = annotationPanel.adjustPanelHeight(); annotationPanel.repaint(); Dimension d = calculateIdWidth(); d.setSize(d.width + 4, seqPanel.seqCanvas.getSize().height); + alabels.setSize(d.width+4, ap ); idPanel.idCanvas.setSize(d); hscrollFillerPanel.setSize(d); - alignFrame.pack(); + validate(); + repaint(); if(overviewPanel!=null) overviewPanel.updateOverviewImage(); @@ -185,16 +140,14 @@ public class AlignmentPanel Dimension calculateIdWidth() { - Frame frame = new Frame(); - frame.addNotify(); - Graphics g = frame.getGraphics(); - if (g == null) + if (av.nullFrame == null) { - Frame f = new Frame(); - f.addNotify(); - g = f.getGraphics(); + av.nullFrame = new Frame(); + av.nullFrame.addNotify(); } + Graphics g = av.nullFrame.getGraphics(); + FontMetrics fm = g.getFontMetrics(av.font); AlignmentI al = av.getAlignment(); @@ -204,14 +157,7 @@ public class AlignmentPanel while (i < al.getHeight() && al.getSequenceAt(i) != null) { SequenceI s = al.getSequenceAt(i); - if (av.getShowFullId()) - { - id = s.getDisplayId(); - } - else - { - id = s.getName(); - } + id = s.getDisplayId(av.getShowJVSuffix()); if (fm.stringWidth(id) > idWidth) { @@ -224,7 +170,7 @@ public class AlignmentPanel i = 0; if (al.getAlignmentAnnotation() != null) { - fm = g.getFontMetrics(frame.getFont()); + fm = g.getFontMetrics(av.nullFrame.getFont()); while (i < al.getAlignmentAnnotation().length) { String label = al.getAlignmentAnnotation()[i].label; @@ -239,27 +185,58 @@ public class AlignmentPanel return new Dimension(idWidth, idPanel.idCanvas.getSize().height); } - public void highlightSearchResults(int[] results) + public void highlightSearchResults(SearchResults results) { seqPanel.seqCanvas.highlightSearchResults(results); - // do we need to scroll the panel? + // do we need to scroll the panel? if (results != null) { - SequenceI seq = av.alignment.getSequenceAt(results[0]); - int start = seq.findIndex(results[1]) - 1; - int end = seq.findIndex(results[2]) - 1; - if (av.getStartRes() > start - || av.getEndRes() < end - || (av.getStartSeq() > results[0] - || av.getEndSeq() < results[0])) - { - setScrollValues(start, results[0]); - } + SequenceI seq = results.getResultSequence(0); + int seqIndex = av.alignment.findIndex(seq); + int start = seq.findIndex(results.getResultStart(0)) - 1; + int end = seq.findIndex(results.getResultEnd(0)) - 1; + + if(!av.wrapAlignment) + { + if ( (av.getStartRes() > end) || (av.getEndRes() < start) || + ( (av.getStartSeq() > seqIndex) || (av.getEndSeq() < seqIndex))) + { + if (start > av.alignment.getWidth() - hextent) + { + start = av.alignment.getWidth() - hextent; + if (start < 0) + start = 0; + } + if (seqIndex > av.alignment.getHeight() - vextent) + { + seqIndex = av.alignment.getHeight() - vextent; + if (seqIndex < 0) + seqIndex = 0; + } + setScrollValues(start, seqIndex); + } + } + else + { + scrollToWrappedVisible(start); + } } + repaint(); } + void scrollToWrappedVisible(int res) + { + int cwidth = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getSize().width); + if (res <= av.getStartRes() || res >= (av.getStartRes() + cwidth)) + { + vscroll.setValue(res / cwidth); + av.startRes = vscroll.getValue() * cwidth; + } + } + + public OverviewPanel getOverviewPanel() { return overviewPanel; @@ -275,7 +252,7 @@ public class AlignmentPanel if (!av.wrapAlignment) { annotationSpaceFillerHolder.setVisible(b); - annotationScroller.setVisible(b); + annotationPanel.setVisible(b); } validate(); repaint(); @@ -285,22 +262,27 @@ public class AlignmentPanel { av.startSeq = 0; scalePanelHolder.setVisible(!wrap); + + hscroll.setVisible(!wrap); idwidthAdjuster.setVisible(!wrap); if (wrap) { - annotationScroller.setVisible(false); + annotationPanel.setVisible(false); annotationSpaceFillerHolder.setVisible(false); } else if (av.showAnnotation) { - annotationScroller.setVisible(true); + annotationPanel.setVisible(true); annotationSpaceFillerHolder.setVisible(true); } + idSpaceFillerPanel1.setVisible(!wrap); + fontChanged();//This is so that the scalePanel is resized correctly + validate(); repaint(); @@ -319,8 +301,7 @@ public class AlignmentPanel { return false; } - fastPaint = false; - vscroll.setValue(vscroll.getValue() - 1); + setScrollValues(hscroll.getValue(), vscroll.getValue()-1); } else { @@ -328,24 +309,22 @@ public class AlignmentPanel { return false; } - fastPaint = false; - vscroll.setValue(vscroll.getValue() + 1); + setScrollValues(hscroll.getValue(), vscroll.getValue()+1); } - fastPaint = true; + + repaint(); return true; } public boolean scrollRight(boolean right) { - - if (right) + if (!right) { if (hscroll.getValue() < 1) { return false; } - fastPaint = false; - hscroll.setValue(hscroll.getValue() - 1); + setScrollValues(hscroll.getValue()-1, vscroll.getValue()); } else { @@ -353,16 +332,15 @@ public class AlignmentPanel { return false; } - fastPaint = false; - hscroll.setValue(hscroll.getValue() + 1); + setScrollValues(hscroll.getValue()+1, vscroll.getValue()); } - fastPaint = true; + + repaint(); return true; } public void setScrollValues(int x, int y) { - av.setStartRes(x); av.setStartSeq(y); av.setEndRes(x + seqPanel.seqCanvas.getSize().width / av.getCharWidth() - 1); @@ -409,6 +387,8 @@ public class AlignmentPanel hscroll.setValues(x, hextent, 0, av.getAlignment().getWidth()); vscroll.setValues(y, vextent, 0, av.getAlignment().getHeight()); + if(overviewPanel!=null) + overviewPanel.setBoxPosition(); } public void adjustmentValueChanged(AdjustmentEvent evt) @@ -416,7 +396,8 @@ public class AlignmentPanel int oldX = av.getStartRes(); int oldY = av.getStartSeq(); - if (evt.getSource() == hscroll) + + if (evt==null || evt.getSource() == hscroll) { int x = hscroll.getValue(); av.setStartRes(x); @@ -424,7 +405,8 @@ public class AlignmentPanel 1); } - if (evt.getSource() == vscroll) + + if (evt==null || evt.getSource() == vscroll) { int offy = vscroll.getValue(); if (av.getWrapAlignment()) @@ -447,15 +429,27 @@ public class AlignmentPanel overviewPanel.setBoxPosition(); } + int scrollX = av.startRes - oldX; + int scrollY = av.startSeq - oldY; + if (av.getWrapAlignment() || !fastPaint || MAC) { repaint(); } else { - idPanel.idCanvas.fastPaint(av.getStartSeq() - oldY); - seqPanel.seqCanvas.fastPaint(av.getStartRes() - oldX, - av.getStartSeq() - oldY); + // Make sure we're not trying to draw a panel + // larger than the visible window + if(scrollX>av.endRes-av.startRes) + { + scrollX = av.endRes - av.startRes; + } + else if(scrollX