X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=inline;f=src%2Fjalview%2Fappletgui%2FScalePanel.java;h=ccb6d940f03e3c59634d38eb2e63b800184b0173;hb=a7169b1c72607f3c9357195b4999869650a2a891;hp=07e83e764c4953d9e9342057d264d73b1a8f726f;hpb=7bc226b58110fa26d9dbd3f0c78095d06909ffc3;p=jalview.git
diff --git a/src/jalview/appletgui/ScalePanel.java b/src/jalview/appletgui/ScalePanel.java
index 07e83e7..ccb6d94 100755
--- a/src/jalview/appletgui/ScalePanel.java
+++ b/src/jalview/appletgui/ScalePanel.java
@@ -1,450 +1,477 @@
-/*
- * Jalview - A Sequence Alignment Editor and Viewer
- * Copyright (C) 2007 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA
- */
-
-package jalview.appletgui;
-
-import java.awt.*;
-import java.awt.event.*;
-
-import jalview.datamodel.*;
-
-public class ScalePanel
- extends Panel implements MouseMotionListener, MouseListener
-{
-
- protected int offy = 4;
- public int width;
-
- protected AlignViewport av;
- AlignmentPanel ap;
-
- boolean stretchingGroup = false;
- int min; //used by mouseDragged to see if user
- int max; //used by mouseDragged to see if user
- boolean mouseDragging = false;
- int[] reveal;
-
- public ScalePanel(AlignViewport av, AlignmentPanel ap)
- {
- setLayout(null);
- this.av = av;
- this.ap = ap;
-
- addMouseListener(this);
- addMouseMotionListener(this);
-
- }
-
- public void mousePressed(MouseEvent evt)
- {
- int x = (evt.getX() / av.getCharWidth()) + av.getStartRes();
- final int res;
-
- if (av.hasHiddenColumns)
- {
- res = av.getColumnSelection().adjustForHiddenColumns(x);
- }
- else
- {
- res = x;
- }
-
- min = res;
- max = res;
- if ( (evt.getModifiers() & InputEvent.BUTTON3_MASK)
- == InputEvent.BUTTON3_MASK)
- {
- PopupMenu pop = new PopupMenu();
- if (reveal != null)
- {
- MenuItem item = new MenuItem("Reveal");
- item.addActionListener(new ActionListener()
- {
- public void actionPerformed(ActionEvent e)
- {
- av.showColumn(reveal[0]);
- reveal = null;
- ap.repaint();
- if (ap.overviewPanel != null)
- {
- ap.overviewPanel.updateOverviewImage();
- }
- }
- });
- pop.add(item);
-
- if (av.getColumnSelection().getHiddenColumns().size() > 1)
- {
- item = new MenuItem("Reveal All");
- item.addActionListener(new ActionListener()
- {
- public void actionPerformed(ActionEvent e)
- {
- av.showAllHiddenColumns();
- reveal = null;
- ap.repaint();
- if (ap.overviewPanel != null)
- {
- ap.overviewPanel.updateOverviewImage();
- }
- }
- });
- pop.add(item);
- }
- this.add(pop);
- pop.show(this, evt.getX(), evt.getY());
- }
- else if (av.getColumnSelection().contains(res))
- {
- MenuItem item = new MenuItem("Hide Columns");
- item.addActionListener(new ActionListener()
- {
- public void actionPerformed(ActionEvent e)
- {
- av.hideColumns(res, res);
- if (av.getSelectionGroup() != null
- &&
- av.getSelectionGroup().getSize() == av.alignment.getHeight())
- {
- av.setSelectionGroup(null);
- }
-
- ap.repaint();
- if (ap.overviewPanel != null)
- {
- ap.overviewPanel.updateOverviewImage();
- }
- }
- });
- pop.add(item);
- this.add(pop);
- pop.show(this, evt.getX(), evt.getY());
- }
- }
- else // LEFT MOUSE TO SELECT
- {
- if (!evt.isControlDown() && !evt.isShiftDown())
- {
- av.getColumnSelection().clear();
- }
-
- av.getColumnSelection().addElement(res);
- SequenceGroup sg = new SequenceGroup();
- for (int i = 0; i < av.alignment.getSequences().size(); i++)
- {
- sg.addSequence(av.alignment.getSequenceAt(i), false);
- }
-
- sg.setStartRes(res);
- sg.setEndRes(res);
- av.setSelectionGroup(sg);
-
- if (evt.isShiftDown())
- {
- int min = Math.min(av.getColumnSelection().getMin(), res);
- int max = Math.max(av.getColumnSelection().getMax(), res);
- for (int i = min; i < max; i++)
- {
- av.getColumnSelection().addElement(i);
- }
- sg.setStartRes(min);
- sg.setEndRes(max);
- }
- }
-
- ap.repaint();
- }
-
- public void mouseReleased(MouseEvent evt)
- {
- mouseDragging = false;
-
- int res = (evt.getX() / av.getCharWidth()) + av.getStartRes();
-
- if (res > av.alignment.getWidth())
- {
- res = av.alignment.getWidth() - 1;
- }
-
- if (av.hasHiddenColumns)
- {
- res = av.getColumnSelection().adjustForHiddenColumns(res);
- }
-
- if (!stretchingGroup)
- {
- ap.repaint();
-
- return;
- }
-
- SequenceGroup sg = av.getSelectionGroup();
-
- if (res > sg.getStartRes())
- {
- sg.setEndRes(res);
- }
- else if (res < sg.getStartRes())
- {
- sg.setStartRes(res);
- }
-
- stretchingGroup = false;
- ap.repaint();
- }
-
- public void mouseDragged(MouseEvent evt)
- {
- mouseDragging = true;
-
- int res = (evt.getX() / av.getCharWidth()) + av.getStartRes();
- if (res < 0)
- {
- res = 0;
- }
-
- if (av.hasHiddenColumns)
- {
- res = av.getColumnSelection().adjustForHiddenColumns(res);
- }
-
- if (res > av.alignment.getWidth())
- {
- res = av.alignment.getWidth() - 1;
- }
-
- if (res < min)
- {
- min = res;
- }
-
- if (res > max)
- {
- max = res;
- }
-
- SequenceGroup sg = av.getSelectionGroup();
-
- if (sg != null)
- {
- stretchingGroup = true;
-
- if (!av.getColumnSelection().contains(res))
- {
- av.getColumnSelection().addElement(res);
- }
-
- if (res > sg.getStartRes())
- {
- sg.setEndRes(res);
- }
- if (res < sg.getStartRes())
- {
- sg.setStartRes(res);
- }
-
- for (int i = min; i <= max; i++)
- {
- if ( (i < sg.getStartRes()) || (i > sg.getEndRes()))
- {
- av.getColumnSelection().removeElement(i);
- }
- else
- {
- av.getColumnSelection().addElement(i);
- }
- }
-
- ap.repaint();
- }
- }
-
- public void mouseEntered(MouseEvent evt)
- {
- if (mouseDragging)
- {
- ap.seqPanel.scrollCanvas(null);
- }
- }
-
- public void mouseExited(MouseEvent evt)
- {
- if (mouseDragging)
- {
- ap.seqPanel.scrollCanvas(evt);
- }
- }
-
- public void mouseClicked(MouseEvent evt)
- {
-
- }
-
- public void mouseMoved(MouseEvent evt)
- {
- if (!av.hasHiddenColumns)
- {
- return;
- }
-
- int res = (evt.getX() / av.getCharWidth()) + av.getStartRes();
-
- res = av.getColumnSelection().adjustForHiddenColumns(res);
-
- reveal = null;
- for (int i = 0; i < av.getColumnSelection().getHiddenColumns().size(); i++)
- {
- int[] region = (int[]) av.getColumnSelection().getHiddenColumns().
- elementAt(i);
- if (res + 1 == region[0] || res - 1 == region[1])
- {
- reveal = region;
- break;
- }
- }
-
- repaint();
- }
-
- public void update(Graphics g)
- {
- paint(g);
- }
-
- public void paint(Graphics g)
- {
- drawScale(g, av.getStartRes(), av.getEndRes(), getSize().width,
- getSize().height);
- }
-
-// scalewidth will normally be screenwidth,
- public void drawScale(Graphics gg, int startx, int endx, int width,
- int height)
- {
- gg.setFont(av.getFont());
-
- //Fill in the background
- gg.setColor(Color.white);
- gg.fillRect(0, 0, width, height);
- gg.setColor(Color.black);
-
- //Fill the selected columns
- ColumnSelection cs = av.getColumnSelection();
- gg.setColor(new Color(220, 0, 0));
-
- for (int i = 0; i < cs.size(); i++)
- {
- int sel = cs.columnAt(i);
- if (av.hasHiddenColumns)
- {
- sel = av.getColumnSelection().findColumnPosition(sel);
- }
-
- if ( (sel >= startx) && (sel <= endx))
- {
- gg.fillRect( (sel - startx) * av.charWidth, 0, av.charWidth,
- getSize().height);
- }
- }
-
- // Draw the scale numbers
- gg.setColor(Color.black);
-
- int scalestartx = (startx / 10) * 10;
-
- FontMetrics fm = gg.getFontMetrics(av.getFont());
- int y = av.charHeight - fm.getDescent();
-
- if ( (scalestartx % 10) == 0)
- {
- scalestartx += 5;
- }
-
- String string;
- int maxX = 0;
-
- for (int i = scalestartx; i < endx; i += 5)
- {
- if ( (i % 10) == 0)
- {
- string = String.valueOf(av.getColumnSelection().adjustForHiddenColumns(
- i));
- if ( (i - startx - 1) * av.charWidth > maxX)
- {
- gg.drawString(string,
- (i - startx - 1) * av.charWidth, y);
- maxX = (i - startx + 1) * av.charWidth + fm.stringWidth(string);
- }
-
- gg.drawLine( (int) ( ( (i - startx - 1) * av.charWidth) +
- (av.charWidth / 2)), y + 2,
- (int) ( ( (i - startx - 1) * av.charWidth) +
- (av.charWidth / 2)),
- y + (fm.getDescent() * 2));
-
- }
- else
- {
- gg.drawLine( (int) ( ( (i - startx - 1) * av.charWidth) +
- (av.charWidth / 2)), y + fm.getDescent(),
- (int) ( ( (i - startx - 1) * av.charWidth) +
- (av.charWidth / 2)), y + (fm.getDescent() * 2));
- }
- }
-
- if (av.hasHiddenColumns)
- {
- gg.setColor(Color.blue);
- int res;
- if (av.getShowHiddenMarkers())
- {
- for (int i = 0; i < av.getColumnSelection().getHiddenColumns().size();
- i++)
- {
-
- res = av.getColumnSelection().findHiddenRegionPosition(i) -
- startx;
-
- if (res < 0 || res > endx - scalestartx)
- {
- continue;
- }
-
- gg.fillPolygon(new int[]
- {res * av.charWidth - av.charHeight / 4,
- res * av.charWidth + av.charHeight / 4,
- res * av.charWidth},
- new int[]
- {
- y - av.charHeight / 2, y - av.charHeight / 2,
- y + 8
- }, 3);
-
- }
- }
-
- if (reveal != null && reveal[0] > startx && reveal[0] < endx)
- {
- gg.drawString("Reveal Columns", reveal[0] * av.charWidth, 0);
- }
- }
-
- }
-
-}
+/*
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
+ *
+ * This file is part of Jalview.
+ *
+ * Jalview is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation, either version 3
+ * of the License, or (at your option) any later version.
+ *
+ * Jalview is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
+ * PURPOSE. See the GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Jalview. If not, see .
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
+ */
+package jalview.appletgui;
+
+import jalview.datamodel.ColumnSelection;
+import jalview.datamodel.HiddenColumns;
+import jalview.datamodel.SequenceGroup;
+import jalview.renderer.ScaleRenderer;
+import jalview.renderer.ScaleRenderer.ScaleMark;
+import jalview.util.MessageManager;
+import jalview.viewmodel.ViewportListenerI;
+import jalview.viewmodel.ViewportRanges;
+
+import java.awt.Color;
+import java.awt.FontMetrics;
+import java.awt.Graphics;
+import java.awt.MenuItem;
+import java.awt.Panel;
+import java.awt.PopupMenu;
+import java.awt.event.ActionEvent;
+import java.awt.event.ActionListener;
+import java.awt.event.InputEvent;
+import java.awt.event.MouseEvent;
+import java.awt.event.MouseListener;
+import java.awt.event.MouseMotionListener;
+import java.beans.PropertyChangeEvent;
+import java.util.Iterator;
+import java.util.List;
+
+public class ScalePanel extends Panel
+ implements MouseMotionListener, MouseListener, ViewportListenerI
+{
+
+ protected int offy = 4;
+
+ public int width;
+
+ protected AlignViewport av;
+
+ AlignmentPanel ap;
+
+ boolean stretchingGroup = false;
+
+ int min; // used by mouseDragged to see if user
+
+ int max; // used by mouseDragged to see if user
+
+ boolean mouseDragging = false;
+
+ int[] reveal;
+
+ public ScalePanel(AlignViewport av, AlignmentPanel ap)
+ {
+ setLayout(null);
+ this.av = av;
+ this.ap = ap;
+
+ addMouseListener(this);
+ addMouseMotionListener(this);
+
+ av.getRanges().addPropertyChangeListener(this);
+ }
+
+ @Override
+ public void mousePressed(MouseEvent evt)
+ {
+ int x = (evt.getX() / av.getCharWidth()) + av.getRanges().getStartRes();
+ final int res;
+
+ if (av.hasHiddenColumns())
+ {
+ res = av.getAlignment().getHiddenColumns().visibleToAbsoluteColumn(x);
+ }
+ else
+ {
+ res = x;
+ }
+
+ min = res;
+ max = res;
+ if ((evt.getModifiersEx()
+ & InputEvent.BUTTON3_DOWN_MASK) == InputEvent.BUTTON3_DOWN_MASK)
+ {
+ rightMouseButtonPressed(evt, res);
+ }
+ else
+ {
+ leftMouseButtonPressed(evt, res);
+ }
+ }
+
+ /**
+ * Handles left mouse button pressed (selection / clear selections)
+ *
+ * @param evt
+ * @param res
+ */
+ protected void leftMouseButtonPressed(MouseEvent evt, final int res)
+ {
+ if (!evt.isControlDown() && !evt.isShiftDown())
+ {
+ av.getColumnSelection().clear();
+ }
+
+ av.getColumnSelection().addElement(res);
+ SequenceGroup sg = new SequenceGroup();
+ for (int i = 0; i < av.getAlignment().getSequences().size(); i++)
+ {
+ sg.addSequence(av.getAlignment().getSequenceAt(i), false);
+ }
+
+ sg.setStartRes(res);
+ sg.setEndRes(res);
+ av.setSelectionGroup(sg);
+
+ if (evt.isShiftDown())
+ {
+ int min = Math.min(av.getColumnSelection().getMin(), res);
+ int max = Math.max(av.getColumnSelection().getMax(), res);
+ for (int i = min; i < max; i++)
+ {
+ av.getColumnSelection().addElement(i);
+ }
+ sg.setStartRes(min);
+ sg.setEndRes(max);
+ }
+ ap.paintAlignment(false, false);
+ av.sendSelection();
+ }
+
+ /**
+ * Handles right mouse button press. If pressed in a selected column, opens
+ * context menu for 'Hide Columns'. If pressed on a hidden columns marker,
+ * opens context menu for 'Reveal / Reveal All'. Else does nothing.
+ *
+ * @param evt
+ * @param res
+ */
+ protected void rightMouseButtonPressed(MouseEvent evt, final int res)
+ {
+ PopupMenu pop = new PopupMenu();
+ if (reveal != null)
+ {
+ MenuItem item = new MenuItem(
+ MessageManager.getString("label.reveal"));
+ item.addActionListener(new ActionListener()
+ {
+ @Override
+ public void actionPerformed(ActionEvent e)
+ {
+ av.showColumn(reveal[0]);
+ reveal = null;
+ ap.paintAlignment(true, true);
+ av.sendSelection();
+ }
+ });
+ pop.add(item);
+
+ if (av.getAlignment().getHiddenColumns()
+ .hasMultiHiddenColumnRegions())
+ {
+ item = new MenuItem(MessageManager.getString("action.reveal_all"));
+ item.addActionListener(new ActionListener()
+ {
+ @Override
+ public void actionPerformed(ActionEvent e)
+ {
+ av.showAllHiddenColumns();
+ reveal = null;
+ ap.paintAlignment(true, true);
+ av.sendSelection();
+ }
+ });
+ pop.add(item);
+ }
+ this.add(pop);
+ pop.show(this, evt.getX(), evt.getY());
+ }
+ else if (av.getColumnSelection().contains(res))
+ {
+ MenuItem item = new MenuItem(
+ MessageManager.getString("label.hide_columns"));
+ item.addActionListener(new ActionListener()
+ {
+ @Override
+ public void actionPerformed(ActionEvent e)
+ {
+ av.hideColumns(res, res);
+ if (av.getSelectionGroup() != null && av.getSelectionGroup()
+ .getSize() == av.getAlignment().getHeight())
+ {
+ av.setSelectionGroup(null);
+ }
+
+ ap.paintAlignment(true, true);
+ av.sendSelection();
+ }
+ });
+ pop.add(item);
+ this.add(pop);
+ pop.show(this, evt.getX(), evt.getY());
+ }
+ }
+
+ @Override
+ public void mouseReleased(MouseEvent evt)
+ {
+ mouseDragging = false;
+
+ int res = (evt.getX() / av.getCharWidth())
+ + av.getRanges().getStartRes();
+
+ if (res > av.getAlignment().getWidth())
+ {
+ res = av.getAlignment().getWidth() - 1;
+ }
+
+ if (av.hasHiddenColumns())
+ {
+ res = av.getAlignment().getHiddenColumns()
+ .visibleToAbsoluteColumn(res);
+ }
+
+ if (!stretchingGroup)
+ {
+ ap.paintAlignment(false, false);
+
+ return;
+ }
+
+ SequenceGroup sg = av.getSelectionGroup();
+
+ if (res > sg.getStartRes())
+ {
+ sg.setEndRes(res);
+ }
+ else if (res < sg.getStartRes())
+ {
+ sg.setStartRes(res);
+ }
+
+ stretchingGroup = false;
+ ap.paintAlignment(false, false);
+ av.sendSelection();
+ }
+
+ /**
+ * Action on dragging the mouse in the scale panel is to expand or shrink the
+ * selection group range (including any hidden columns that it spans)
+ *
+ * @param evt
+ */
+ @Override
+ public void mouseDragged(MouseEvent evt)
+ {
+ mouseDragging = true;
+ ColumnSelection cs = av.getColumnSelection();
+
+ int res = (evt.getX() / av.getCharWidth())
+ + av.getRanges().getStartRes();
+ res = Math.max(0, res);
+ res = av.getAlignment().getHiddenColumns().visibleToAbsoluteColumn(res);
+ res = Math.min(res, av.getAlignment().getWidth() - 1);
+ min = Math.min(res, min);
+ max = Math.max(res, max);
+
+ SequenceGroup sg = av.getSelectionGroup();
+ if (sg != null)
+ {
+ stretchingGroup = true;
+ cs.stretchGroup(res, sg, min, max);
+ ap.paintAlignment(false, false);
+ }
+ }
+
+ @Override
+ public void mouseEntered(MouseEvent evt)
+ {
+ if (mouseDragging)
+ {
+ ap.seqPanel.scrollCanvas(null);
+ }
+ }
+
+ @Override
+ public void mouseExited(MouseEvent evt)
+ {
+ if (mouseDragging)
+ {
+ ap.seqPanel.scrollCanvas(evt);
+ }
+ }
+
+ @Override
+ public void mouseClicked(MouseEvent evt)
+ {
+
+ }
+
+ @Override
+ public void mouseMoved(MouseEvent evt)
+ {
+ if (!av.hasHiddenColumns())
+ {
+ return;
+ }
+
+ int res = (evt.getX() / av.getCharWidth())
+ + av.getRanges().getStartRes();
+
+ reveal = av.getAlignment().getHiddenColumns()
+ .getRegionWithEdgeAtRes(res);
+
+ repaint();
+ }
+
+ @Override
+ public void update(Graphics g)
+ {
+ paint(g);
+ }
+
+ @Override
+ public void paint(Graphics g)
+ {
+ /*
+ * shouldn't get called in wrapped mode as the scale above is
+ * drawn instead by SeqCanvas.drawNorthScale
+ */
+ if (!av.getWrapAlignment())
+ {
+ drawScale(g, av.getRanges().getStartRes(), av.getRanges().getEndRes(),
+ getSize().width, getSize().height);
+ }
+ }
+
+ // scalewidth will normally be screenwidth,
+ public void drawScale(Graphics gg, int startx, int endx, int width,
+ int height)
+ {
+ gg.setFont(av.getFont());
+ // Fill in the background
+ gg.setColor(Color.white);
+ gg.fillRect(0, 0, width, height);
+ gg.setColor(Color.black);
+
+ // Fill the selected columns
+ ColumnSelection cs = av.getColumnSelection();
+ HiddenColumns hidden = av.getAlignment().getHiddenColumns();
+ int avCharWidth = av.getCharWidth();
+ int avcharHeight = av.getCharHeight();
+ if (cs != null)
+ {
+ gg.setColor(new Color(220, 0, 0));
+ boolean hasHiddenColumns = hidden.hasHiddenColumns();
+ for (int sel : cs.getSelected())
+ {
+ // TODO: JAL-2001 - provide a fast method to list visible selected in a
+ // given range
+ if (hasHiddenColumns)
+ {
+ if (hidden.isVisible(sel))
+ {
+ sel = hidden.absoluteToVisibleColumn(sel);
+ }
+ else
+ {
+ continue;
+ }
+ }
+
+ if ((sel >= startx) && (sel <= endx))
+ {
+ gg.fillRect((sel - startx) * avCharWidth, 0, avCharWidth,
+ getSize().height);
+ }
+ }
+ }
+
+ // Draw the scale numbers
+ gg.setColor(Color.black);
+
+ int maxX = 0;
+ List marks = new ScaleRenderer().calculateMarks(av, startx,
+ endx);
+
+ FontMetrics fm = gg.getFontMetrics(av.getFont());
+ int y = avcharHeight;
+ int yOf = fm.getDescent();
+ y -= yOf;
+ for (ScaleMark mark : marks)
+ {
+ boolean major = mark.major;
+ int mpos = mark.column; // (i - startx - 1)
+ String mstring = mark.text;
+ if (mstring != null)
+ {
+ if (mpos * avCharWidth > maxX)
+ {
+ gg.drawString(mstring, mpos * avCharWidth, y);
+ maxX = (mpos + 2) * avCharWidth + fm.stringWidth(mstring);
+ }
+ }
+ if (major)
+ {
+ gg.drawLine((mpos * avCharWidth) + (avCharWidth / 2), y + 2,
+ (mpos * avCharWidth) + (avCharWidth / 2), y + (yOf * 2));
+ }
+ else
+ {
+ gg.drawLine((mpos * avCharWidth) + (avCharWidth / 2), y + yOf,
+ (mpos * avCharWidth) + (avCharWidth / 2), y + (yOf * 2));
+ }
+ }
+
+ if (av.hasHiddenColumns())
+ {
+ gg.setColor(Color.blue);
+ int res;
+ if (av.getShowHiddenMarkers())
+ {
+ int widthx = 1 + endx - startx;
+ Iterator it = hidden.getStartRegionIterator(startx,
+ startx + widthx + 1);
+ while (it.hasNext())
+ {
+ res = it.next() - startx;
+
+ gg.fillPolygon(
+ new int[]
+ { -1 + res * avCharWidth - avcharHeight / 4,
+ -1 + res * avCharWidth + avcharHeight / 4,
+ -1 + res * avCharWidth },
+ new int[]
+ { y, y, y + 2 * yOf }, 3);
+ }
+ }
+ }
+ }
+
+ @Override
+ public void propertyChange(PropertyChangeEvent evt)
+ {
+ // Respond to viewport change events (e.g. alignment panel was scrolled)
+ // Both scrolling and resizing change viewport ranges: scrolling changes
+ // both start and end points, but resize only changes end values.
+ // Here we only want to fastpaint on a scroll, with resize using a normal
+ // paint, so scroll events are identified as changes to the horizontal or
+ // vertical start value.
+ if (evt.getPropertyName().equals(ViewportRanges.STARTRES)
+ || evt.getPropertyName().equals(ViewportRanges.STARTRESANDSEQ)
+ || evt.getPropertyName().equals(ViewportRanges.MOVE_VIEWPORT))
+ {
+ // scroll event, repaint panel
+ repaint();
+ }
+ }
+
+}