import jalview.renderer.AwtRenderPanelI;
/**
- * AnnotationPanel displays visible portion of annotation rows below unwrapped alignment
+ * AnnotationPanel displays visible portion of annotation rows below unwrapped
+ * alignment
+ *
* @author $author$
* @version $Revision$
*/
/**
* Creates a new AnnotationPanel object.
- *
+ *
* @param ap
* DOCUMENT ME!
*/
addMouseMotionListener(this);
ap.annotationScroller.getVerticalScrollBar()
.addAdjustmentListener(this);
- // save any wheel listeners on the scroller, so we can propagate scroll events to them.
+ // save any wheel listeners on the scroller, so we can propagate scroll
+ // events to them.
_mwl = ap.annotationScroller.getMouseWheelListeners();
// and then set our own listener to consume all mousewheel events
ap.annotationScroller.addMouseWheelListener(this);
}
else
{
- // TODO: find the correct way to let the event bubble up to ap.annotationScroller
+ // TODO: find the correct way to let the event bubble up to
+ // ap.annotationScroller
for (MouseWheelListener mwl : _mwl)
{
if (mwl != null)
/*
* (non-Javadoc)
- * @see java.awt.event.AdjustmentListener#adjustmentValueChanged(java.awt.event.AdjustmentEvent)
+ *
+ * @see
+ * java.awt.event.AdjustmentListener#adjustmentValueChanged(java.awt.event
+ * .AdjustmentEvent)
*/
@Override
public void adjustmentValueChanged(AdjustmentEvent evt)
* Calculates the height of the annotation displayed in the annotation panel.
* Callers should normally call the ap.adjustAnnotationHeight method to ensure
* all annotation associated components are updated correctly.
- *
+ *
*/
public int adjustPanelHeight()
{
/**
* DOCUMENT ME!
- *
+ *
* @param evt
* DOCUMENT ME!
*/
{
String collatedInput = "";
String last = "";
- ColumnSelection viscols=av.getColumnSelection();
+ ColumnSelection viscols = av.getColumnSelection();
// TODO: refactor and save av.getColumnSelection for efficiency
for (int i = 0; i < columnSelection.size(); i++)
{
/**
* DOCUMENT ME!
- *
+ *
* @param evt
* DOCUMENT ME!
*/
/**
* DOCUMENT ME!
- *
+ *
* @param evt
* DOCUMENT ME!
*/
/**
* DOCUMENT ME!
- *
+ *
* @param evt
* DOCUMENT ME!
*/
/**
* DOCUMENT ME!
- *
+ *
* @param evt
* DOCUMENT ME!
*/
/**
* DOCUMENT ME!
- *
+ *
* @param evt
* DOCUMENT ME!
*/
/**
* DOCUMENT ME!
- *
+ *
* @param evt
* DOCUMENT ME!
*/
/**
* DOCUMENT ME!
- *
+ *
* @param evt
* DOCUMENT ME!
*/
}
}
- private volatile boolean imageFresh=false;
+
+ private volatile boolean imageFresh = false;
+
/**
* DOCUMENT ME!
- *
+ *
* @param g
* DOCUMENT ME!
*/
if (image == null || imgWidth != image.getWidth()
|| image.getHeight(this) != getHeight())
{
- try {
- image = new BufferedImage(imgWidth, ap.annotationPanel.getHeight(),
- BufferedImage.TYPE_INT_RGB);
+ try
+ {
+ image = new BufferedImage(imgWidth, ap.annotationPanel.getHeight(),
+ BufferedImage.TYPE_INT_RGB);
} catch (OutOfMemoryError oom)
{
- try {
+ try
+ {
System.gc();
- } catch (Exception x){};
- new OOMWarning("Couldn't allocate memory to redraw screen. Please restart Jalview", oom);
+ } catch (Exception x)
+ {
+ }
+ ;
+ new OOMWarning(
+ "Couldn't allocate memory to redraw screen. Please restart Jalview",
+ oom);
return;
}
gg = (Graphics2D) image.getGraphics();
fm = gg.getFontMetrics();
gg.setColor(Color.white);
gg.fillRect(0, 0, imgWidth, image.getHeight());
- imageFresh=true;
+ imageFresh = true;
}
drawComponent(gg, av.startRes, av.endRes + 1);
- imageFresh=false;
+ imageFresh = false;
g.drawImage(image, 0, 0, this);
}
/**
* non-Thread safe repaint
- *
+ *
* @param horizontal
* repaint with horizontal shift in alignment
*/
repaint();
}
- private volatile boolean lastImageGood=false;
+
+ private volatile boolean lastImageGood = false;
+
/**
* DOCUMENT ME!
- *
+ *
* @param g
* DOCUMENT ME!
* @param startRes
*/
public void drawComponent(Graphics g, int startRes, int endRes)
{
- BufferedImage oldFaded=fadedImage;
+ BufferedImage oldFaded = fadedImage;
if (av.isCalcInProgress())
{
if (image == null)
{
- lastImageGood=false;
+ lastImageGood = false;
return;
}
// We'll keep a record of the old image,
// and draw a faded image until the calculation
// has completed
- if (lastImageGood && (fadedImage == null || fadedImage.getWidth() != imgWidth
- || fadedImage.getHeight() != image.getHeight()))
+ if (lastImageGood
+ && (fadedImage == null || fadedImage.getWidth() != imgWidth || fadedImage
+ .getHeight() != image.getHeight()))
{
-// System.err.println("redraw faded image ("+(fadedImage==null ? "null image" : "") + " lastGood="+lastImageGood+")");
+ // System.err.println("redraw faded image ("+(fadedImage==null ?
+ // "null image" : "") + " lastGood="+lastImageGood+")");
fadedImage = new BufferedImage(imgWidth, image.getHeight(),
BufferedImage.TYPE_INT_RGB);
fadedG.drawImage(image, 0, 0, this);
}
- // make sure we don't overwrite the last good faded image until all calculations have finished
- lastImageGood=false;
+ // make sure we don't overwrite the last good faded image until all
+ // calculations have finished
+ lastImageGood = false;
}
else
{
- if (fadedImage!=null)
+ if (fadedImage != null)
{
- oldFaded=fadedImage;
+ oldFaded = fadedImage;
}
fadedImage = null;
}
return;
}
- lastImageGood = renderer.drawComponent(this, av, g, activeRow, startRes, endRes);
- if (!lastImageGood && fadedImage==null)
+ lastImageGood = renderer.drawComponent(this, av, g, activeRow,
+ startRes, endRes);
+ if (!lastImageGood && fadedImage == null)
{
- fadedImage=oldFaded;
+ fadedImage = oldFaded;
}
}