From 6a5e618f368b1e0d828629228fd5c238ddef484d Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 28 Apr 2006 12:35:12 +0000 Subject: [PATCH] validCharWidth checks --- src/jalview/gui/SeqPanel.java | 63 +++++++++++++++------------------ src/jalview/gui/SequenceRenderer.java | 6 +++- 2 files changed, 34 insertions(+), 35 deletions(-) diff --git a/src/jalview/gui/SeqPanel.java b/src/jalview/gui/SeqPanel.java index d081f16..9d2e84c 100755 --- a/src/jalview/gui/SeqPanel.java +++ b/src/jalview/gui/SeqPanel.java @@ -597,48 +597,43 @@ public class SeqPanel extends JPanel implements MouseListener, */ public void mouseDragged(MouseEvent evt) { - if(mouseWheelPressed) + if (mouseWheelPressed) { int oldWidth = av.charWidth; //Which is bigger, left-right or up-down? - if( Math.abs(evt.getY()-lastMousePress.getY()) - > Math.abs(evt.getX()-lastMousePress.getX())) - { - int fontSize = av.font.getSize(); - - if (evt.getY() < lastMousePress.getY() && av.charHeight > 1) - { - fontSize--; - } - else if (evt.getY() > lastMousePress.getY()) - { - fontSize++; - } + if (Math.abs(evt.getY() - lastMousePress.getY()) + > Math.abs(evt.getX() - lastMousePress.getX())) + { + int fontSize = av.font.getSize(); - av.setFont(new Font(av.font.getName(), av.font.getStyle(), fontSize)); - av.charWidth = oldWidth; - ap.fontChanged(); + if (evt.getY() < lastMousePress.getY() && av.charHeight > 1) + { + fontSize--; + } + else if (evt.getY() > lastMousePress.getY()) + { + fontSize++; + } + av.setFont(new Font(av.font.getName(), av.font.getStyle(), fontSize)); + av.charWidth = oldWidth; + ap.fontChanged(); - } - else - { - if (evt.getX() < lastMousePress.getX() && av.charWidth > 1) - { - av.charWidth--; - } - else if (evt.getX() > lastMousePress.getX()) - { - av.charWidth++; - } - - ap.repaint(); - } + } + else + { + if (evt.getX() < lastMousePress.getX() && av.charWidth > 1) + { + av.charWidth--; + } + else if (evt.getX() > lastMousePress.getX()) + { + av.charWidth++; + } - FontMetrics fm = getFontMetrics(av.getFont()); - av.showText = (fm.charWidth('M') < av.charWidth); - // && fm.getHeight()