X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FSeqPanel.java;h=ca5d7f7be2a2ba74bf6cddd90cc029cb0aeb28e9;hb=a45774ee31d9f35d4eff46d54d7deab719afb092;hp=a1913a85af1850d7ddb18e97f3d8101d6a33fd04;hpb=ef2f3ba1a36fe7512e80bc1a3ce92d689f40b358;p=jalview.git diff --git a/src/jalview/gui/SeqPanel.java b/src/jalview/gui/SeqPanel.java old mode 100755 new mode 100644 index a1913a8..ca5d7f7 --- a/src/jalview/gui/SeqPanel.java +++ b/src/jalview/gui/SeqPanel.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6) - * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) + * Copyright (C) 2011 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle * * This file is part of Jalview. * @@ -33,7 +33,7 @@ import jalview.structure.*; * DOCUMENT ME! * * @author $author$ - * @version $Revision$ + * @version $Revision: 1.130 $ */ public class SeqPanel extends JPanel implements MouseListener, MouseMotionListener, MouseWheelListener, SequenceListener, @@ -123,7 +123,7 @@ public class SeqPanel extends JPanel implements MouseListener, addMouseMotionListener(this); addMouseListener(this); addMouseWheelListener(this); - ssm = StructureSelectionManager.getStructureSelectionManager(); + ssm = StructureSelectionManager.getStructureSelectionManager(Desktop.instance); ssm.addStructureViewerListener(this); ssm.addSelectionListener(this); } @@ -811,17 +811,20 @@ public class SeqPanel extends JPanel implements MouseListener, .getType())) { tmpString = features[i].getDescription(); - int startTag = tmpString.toUpperCase().indexOf(""); + String tmp2up=tmpString.toUpperCase(); + int startTag = tmp2up.indexOf(""); if (startTag > -1) { tmpString = tmpString.substring(startTag + 6); + tmp2up = tmp2up.substring(startTag+6); } - int endTag = tmpString.toUpperCase().indexOf(""); + int endTag = tmp2up.indexOf(""); if (endTag > -1) { tmpString = tmpString.substring(0, endTag); + tmp2up = tmp2up.substring(0, endTag); } - endTag = tmpString.toUpperCase().indexOf(""); + endTag = tmp2up.indexOf(""); if (endTag > -1) { tmpString = tmpString.substring(0, endTag);