X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FSeqPanel.java;h=126d755212f545bbc975941771e0c01f40094ef8;hb=129fc8c4f960f978baef88779939592e7b4227d2;hp=9d2e84c76a90e82d3f091361936f9b11cd41531f;hpb=6a5e618f368b1e0d828629228fd5c238ddef484d;p=jalview.git diff --git a/src/jalview/gui/SeqPanel.java b/src/jalview/gui/SeqPanel.java index 9d2e84c..126d755 100755 --- a/src/jalview/gui/SeqPanel.java +++ b/src/jalview/gui/SeqPanel.java @@ -607,7 +607,7 @@ public class SeqPanel extends JPanel implements MouseListener, { int fontSize = av.font.getSize(); - if (evt.getY() < lastMousePress.getY() && av.charHeight > 1) + if (evt.getY() < lastMousePress.getY()) { fontSize--; } @@ -616,10 +616,12 @@ public class SeqPanel extends JPanel implements MouseListener, fontSize++; } + if(fontSize<1) + fontSize = 1; + av.setFont(new Font(av.font.getName(), av.font.getStyle(), fontSize)); av.charWidth = oldWidth; ap.fontChanged(); - } else { @@ -635,6 +637,9 @@ public class SeqPanel extends JPanel implements MouseListener, ap.repaint(); } + FontMetrics fm = getFontMetrics(av.getFont()); + av.validCharWidth = fm.charWidth('M') <= av.charWidth; + lastMousePress = evt.getPoint(); return;