X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FIdCanvas.java;h=5eddc4fa5492c8c8405d6a702eb24a2ef9b3a706;hb=3d0101179759ef157b088ea135423cd909512d9f;hp=48c0c400d8f99facec7175f01b2941205761b5c2;hpb=7c70cb09e9de68ab567e38520d6d09f0c17a3939;p=jalview.git diff --git a/src/jalview/appletgui/IdCanvas.java b/src/jalview/appletgui/IdCanvas.java index 48c0c40..5eddc4f 100755 --- a/src/jalview/appletgui/IdCanvas.java +++ b/src/jalview/appletgui/IdCanvas.java @@ -118,7 +118,7 @@ public class IdCanvas extends Panel implements ViewportListenerI ss = es - vertical; if (ss < ranges.getStartSeq()) // ie scrolling too fast, more than a page // at a - // time + // time { ss = ranges.getStartSeq(); } @@ -183,8 +183,8 @@ public class IdCanvas extends Panel implements ViewportListenerI // Fill in the background gg.setColor(Color.white); - Font italic = new Font(av.getFont().getName(), Font.ITALIC, av - .getFont().getSize()); + Font italic = new Font(av.getFont().getName(), Font.ITALIC, + av.getFont().getSize()); gg.setFont(italic); gg.fillRect(0, 0, getSize().width, getSize().height); @@ -224,8 +224,8 @@ public class IdCanvas extends Panel implements ViewportListenerI continue; } // hardwired italic IDs in applet currently - Font italic = new Font(av.getFont().getName(), Font.ITALIC, av - .getFont().getSize()); + Font italic = new Font(av.getFont().getName(), Font.ITALIC, + av.getFont().getSize()); gg.setFont(italic); // boolean isrep=false; if (doHiddenCheck) @@ -309,8 +309,8 @@ public class IdCanvas extends Panel implements ViewportListenerI int rowSize = av.getRanges().getViewportWidth(); // hardwired italic IDs in applet currently - Font italic = new Font(av.getFont().getName(), Font.ITALIC, av - .getFont().getSize()); + Font italic = new Font(av.getFont().getName(), Font.ITALIC, + av.getFont().getSize()); gg.setFont(italic); /* @@ -352,7 +352,8 @@ public class IdCanvas extends Panel implements ViewportListenerI void drawMarker(int i, int starty, int yoffset) { - SequenceI[] hseqs = av.getAlignment().getHiddenSequences().hiddenSequences; + SequenceI[] hseqs = av.getAlignment() + .getHiddenSequences().hiddenSequences; // Use this method here instead of calling hiddenSeq adjust // 3 times. int hSize = hseqs.length; @@ -386,27 +387,36 @@ public class IdCanvas extends Panel implements ViewportListenerI gg.setColor(Color.blue); if (below) { - gg.fillPolygon(new int[] { getSize().width - avcharHeight, - getSize().width - avcharHeight, getSize().width }, new int[] { - (i - starty) * avcharHeight + yoffset, - (i - starty) * avcharHeight + yoffset + avcharHeight / 4, - (i - starty) * avcharHeight + yoffset }, 3); + gg.fillPolygon( + new int[] + { getSize().width - avcharHeight, + getSize().width - avcharHeight, getSize().width }, + new int[] + { (i - starty) * avcharHeight + yoffset, + (i - starty) * avcharHeight + yoffset + avcharHeight / 4, + (i - starty) * avcharHeight + yoffset }, + 3); } if (above) { - gg.fillPolygon(new int[] { getSize().width - avcharHeight, - getSize().width - avcharHeight, getSize().width }, new int[] { - (i - starty + 1) * avcharHeight + yoffset, - (i - starty + 1) * avcharHeight + yoffset - avcharHeight / 4, - (i - starty + 1) * avcharHeight + yoffset }, 3); + gg.fillPolygon( + new int[] + { getSize().width - avcharHeight, + getSize().width - avcharHeight, getSize().width }, + new int[] + { (i - starty + 1) * avcharHeight + yoffset, + (i - starty + 1) * avcharHeight + yoffset + - avcharHeight / 4, + (i - starty + 1) * avcharHeight + yoffset }, + 3); } } boolean setHiddenFont(SequenceI seq) { - Font bold = new Font(av.getFont().getName(), Font.BOLD, av.getFont() - .getSize()); + Font bold = new Font(av.getFont().getName(), Font.BOLD, + av.getFont().getSize()); if (av.isReferenceSeq(seq) || av.isHiddenRepSequence(seq)) { @@ -433,8 +443,8 @@ public class IdCanvas extends Panel implements ViewportListenerI { String propertyName = evt.getPropertyName(); if (propertyName.equals(ViewportRanges.STARTSEQ) - || (av.getWrapAlignment() && propertyName - .equals(ViewportRanges.STARTRES))) + || (av.getWrapAlignment() + && propertyName.equals(ViewportRanges.STARTRES))) { fastPaint((int) evt.getNewValue() - (int) evt.getOldValue()); }