// hidden column business
if (getViewport().hasHiddenColumns())
{
- StringBuilder hiddenColsBuilder = new StringBuilder();
- for (int[] range : getViewport().getAlignment().getHiddenColumns())
- {
- hiddenColsBuilder.append(";").append(range[0]).append("-")
- .append(range[1]);
- }
-
- hiddenColsBuilder.deleteCharAt(0);
- hiddenSections[0] = hiddenColsBuilder.toString();
+ hiddenSections[0] = getViewport().getAlignment().getHiddenColumns()
+ .regionsToString(";", "-");
}
// hidden rows/seqs business