From: jprocter Date: Wed, 5 Jan 2011 15:37:11 +0000 (+0000) Subject: JAL-727 X-Git-Tag: Release_2_7~329 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=60dde97e0115909c22d4b6dff689a061e497e36d;p=jalview.git JAL-727 --- diff --git a/src/jalview/io/AlignmentProperties.java b/src/jalview/io/AlignmentProperties.java index 3b25b49..8d3e56a 100644 --- a/src/jalview/io/AlignmentProperties.java +++ b/src/jalview/io/AlignmentProperties.java @@ -33,7 +33,7 @@ public class AlignmentProperties */ public void writeProperties(PrintWriter pw, boolean html) { - final String nl = html ? "
" : "\n"; + final String nl = html ? "
" : System.getProperty("line.separator"); float avg = 0; int min = Integer.MAX_VALUE, max = 0; for (int i = 0; i < alignment.getHeight(); i++) @@ -93,7 +93,7 @@ public class AlignmentProperties } else { - pw.print("\n" + key + "\t" + vals); + pw.print(nl + key + "\t" + vals); } } if (html)