ensure there's always a space between ID and feature/descr/dbref list.
authorjprocter <Jim Procter>
Thu, 22 Apr 2010 12:00:20 +0000 (12:00 +0000)
committerjprocter <Jim Procter>
Thu, 22 Apr 2010 12:00:20 +0000 (12:00 +0000)
src/jalview/gui/IdPanel.java

index 6330926..5f1bb56 100755 (executable)
@@ -139,7 +139,7 @@ public class IdPanel extends JPanel implements MouseListener,
       tip.append("</html>");
 
       setToolTipText("<html>" + sequence.getDisplayId(true)
-              + tip.toString());
+              + " "+tip.toString());
     }
   }