srt[i]=vals[i][0];
jalview.util.QuickSort.sort(srt, vals);
list=false;
+ int last=vals[0][0];
for (int[] range:vals)
{
- if (list)
+ if (range[1]>last) {
+ if (list)
{
idvector.append(sep);
}
- idvector.append(range[1]-range[0]+1);
+ idvector.append(range[1]-last+1);
+ last=range[1];
list=true;
+ }
}
return new StringBody(idvector.toString());
}