X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FScalePanel.java;h=60fb365d077ee0b980fef713d48b5baa7a80ddfd;hb=838e4f91d4a53dd315640dbc9ff6ef7a815ee576;hp=cd78fab97e1f9391900500f7de86891ed94b8673;hpb=21c29b20790ac555b2e2a124a034f6c6b4486270;p=jalview.git diff --git a/src/jalview/appletgui/ScalePanel.java b/src/jalview/appletgui/ScalePanel.java index cd78fab..60fb365 100755 --- a/src/jalview/appletgui/ScalePanel.java +++ b/src/jalview/appletgui/ScalePanel.java @@ -1,28 +1,42 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8) - * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.9.0b1) + * Copyright (C) 2015 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. + * 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 . + * 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 java.awt.*; -import java.awt.event.*; - -import jalview.datamodel.*; +import jalview.datamodel.ColumnSelection; +import jalview.datamodel.SequenceGroup; import jalview.util.MessageManager; +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; + public class ScalePanel extends Panel implements MouseMotionListener, MouseListener { @@ -77,7 +91,8 @@ public class ScalePanel extends Panel implements MouseMotionListener, PopupMenu pop = new PopupMenu(); if (reveal != null) { - MenuItem item = new MenuItem(MessageManager.getString("label.reveal")); + MenuItem item = new MenuItem( + MessageManager.getString("label.reveal")); item.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -93,7 +108,7 @@ public class ScalePanel extends Panel implements MouseMotionListener, }); pop.add(item); - if (av.getColumnSelection().getHiddenColumns().size() > 1) + if (av.getColumnSelection().hasManyHiddenColumns()) { item = new MenuItem(MessageManager.getString("action.reveal_all")); item.addActionListener(new ActionListener() @@ -116,7 +131,8 @@ public class ScalePanel extends Panel implements MouseMotionListener, } else if (av.getColumnSelection().contains(res)) { - MenuItem item = new MenuItem(MessageManager.getString("label.hide_columns")); + MenuItem item = new MenuItem( + MessageManager.getString("label.hide_columns")); item.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -318,10 +334,8 @@ public class ScalePanel extends Panel implements MouseMotionListener, res = av.getColumnSelection().adjustForHiddenColumns(res); reveal = null; - for (int i = 0; i < av.getColumnSelection().getHiddenColumns().size(); i++) + for (int[] region : av.getColumnSelection().getHiddenColumns()) { - int[] region = (int[]) av.getColumnSelection().getHiddenColumns() - .elementAt(i); if (res + 1 == region[0] || res - 1 == region[1]) { reveal = region; @@ -348,7 +362,6 @@ public class ScalePanel extends Panel implements MouseMotionListener, int height) { gg.setFont(av.getFont()); - // Fill in the background gg.setColor(Color.white); gg.fillRect(0, 0, width, height); @@ -357,7 +370,7 @@ public class ScalePanel extends Panel implements MouseMotionListener, // Fill the selected columns ColumnSelection cs = av.getColumnSelection(); gg.setColor(new Color(220, 0, 0)); - + int avcharWidth = av.getCharWidth(), avcharHeight = av.getCharHeight(); for (int i = 0; i < cs.size(); i++) { int sel = cs.columnAt(i); @@ -368,7 +381,7 @@ public class ScalePanel extends Panel implements MouseMotionListener, if ((sel >= startx) && (sel <= endx)) { - gg.fillRect((sel - startx) * av.charWidth, 0, av.charWidth, + gg.fillRect((sel - startx) * avcharWidth, 0, avcharWidth, getSize().height); } } @@ -379,7 +392,7 @@ public class ScalePanel extends Panel implements MouseMotionListener, int scalestartx = (startx / 10) * 10; FontMetrics fm = gg.getFontMetrics(av.getFont()); - int y = av.charHeight - fm.getDescent(); + int y = avcharHeight - fm.getDescent(); if ((scalestartx % 10) == 0) { @@ -395,26 +408,23 @@ public class ScalePanel extends Panel implements MouseMotionListener, { string = String.valueOf(av.getColumnSelection() .adjustForHiddenColumns(i)); - if ((i - startx - 1) * av.charWidth > maxX) + if ((i - startx - 1) * avcharWidth > maxX) { - gg.drawString(string, (i - startx - 1) * av.charWidth, y); - maxX = (i - startx + 1) * av.charWidth + fm.stringWidth(string); + gg.drawString(string, (i - startx - 1) * avcharWidth, y); + maxX = (i - startx + 1) * avcharWidth + fm.stringWidth(string); } - gg.drawLine( - (int) (((i - startx - 1) * av.charWidth) + (av.charWidth / 2)), + gg.drawLine(((i - startx - 1) * avcharWidth) + (avcharWidth / 2), y + 2, - (int) (((i - startx - 1) * av.charWidth) + (av.charWidth / 2)), - y + (fm.getDescent() * 2)); + ((i - startx - 1) * avcharWidth) + (avcharWidth / 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)); + gg.drawLine(((i - startx - 1) * avcharWidth) + (avcharWidth / 2), y + + fm.getDescent(), ((i - startx - 1) * avcharWidth) + + (avcharWidth / 2), y + (fm.getDescent() * 2)); } } @@ -436,19 +446,18 @@ public class ScalePanel extends Panel implements MouseMotionListener, 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); + gg.fillPolygon(new int[] { res * avcharWidth - avcharHeight / 4, + res * avcharWidth + avcharHeight / 4, res * avcharWidth }, + new int[] { y - avcharHeight / 2, y - avcharHeight / 2, + y + 8 }, 3); } } if (reveal != null && reveal[0] > startx && reveal[0] < endx) { - gg.drawString(MessageManager.getString("label.reveal_columns"), reveal[0] * av.charWidth, 0); + gg.drawString(MessageManager.getString("label.reveal_columns"), + reveal[0] * avcharWidth, 0); } }