From 1f1e0597991c794dbc9aeccdf574ce9d3bef2360 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 17 Mar 2005 10:40:18 +0000 Subject: [PATCH] takes into account fullid display --- src/jalview/io/HTMLOutput.java | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/src/jalview/io/HTMLOutput.java b/src/jalview/io/HTMLOutput.java index af894e0..a6ab087 100755 --- a/src/jalview/io/HTMLOutput.java +++ b/src/jalview/io/HTMLOutput.java @@ -90,7 +90,11 @@ public class HTMLOutput { seq = alignment.getSequenceAt(i); groups = alignment.findAllGroups( seq ); - out.println(""+seq.getDisplayId()+"  "); + if(av.getShowFullId()) + out.println(""+seq.getDisplayId()+"  "); + else + out.println(""+seq.getName()+"  "); + for (int res = 0; res < seq.getLength(); res++) @@ -172,7 +176,10 @@ public class HTMLOutput out.println(""); seq = al.getSequenceAt(s); groups = al.findAllGroups( seq ); - out.println(""+seq.getDisplayId()+"  "); + if(av.getShowFullId()) + out.println(""+seq.getDisplayId()+"  "); + else + out.println(""+seq.getName()+"  "); for (int res = startRes; res < endRes; res++) { -- 1.7.10.2