From c5898a03d9b066d4ccc2e22d3cb72a8ca3cc656e Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 3 Dec 2004 16:29:08 +0000 Subject: [PATCH] Text alignment changes --- src/jalview/gui/IdPanel.java | 40 ++++++++++++++++------------------------ 1 file changed, 16 insertions(+), 24 deletions(-) diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java index 0329926..4509ab3 100755 --- a/src/jalview/gui/IdPanel.java +++ b/src/jalview/gui/IdPanel.java @@ -18,10 +18,6 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene public int lastid; - - boolean mouseDown; - boolean mouseUp; - public IdPanel(AlignViewport av, AlignmentPanel parent) { this.av = av; @@ -42,14 +38,15 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene end = tmp; } - for (int i = start; i <= end; i++) { + for (int i = start; i <= end; i++) + { SequenceI pickedSeq = av.getAlignment().getSequenceAt(i); - if (av.getSelection().contains(pickedSeq)) { + if (av.getSelection().contains(pickedSeq)) av.getSelection().removeElement(pickedSeq); - } else { + else av.getSelection().addElement(pickedSeq); - } + } repaint(); @@ -58,17 +55,17 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene public void mouseDragged(MouseEvent e) { int y = e.getY(); - int seq = av.getIndex(y); - if (mouseDown == true) { - if (seq < lastid) { - selectSeqs(lastid-1,seq); - } else if (seq > lastid) { - selectSeqs(lastid+1,seq); - } - lastid = seq; - } + + + + if (seq < lastid) + selectSeqs(lastid - 1, seq); + else if (seq > lastid) + selectSeqs(lastid + 1, seq); + + lastid = seq; return; } @@ -98,7 +95,6 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene int y = e.getY(); int seq = av.getIndex(y); - mouseDown = true; if( javax.swing.SwingUtilities.isRightMouseButton(e)) { @@ -129,13 +125,9 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene return; } - public void mouseReleased(MouseEvent e) { + public void mouseReleased(MouseEvent e) + { lastid = -1; - - mouseDown = false; - mouseUp = true; - PaintRefresher.Refresh(this); - } } -- 1.7.10.2