String key = en.nextElement().toString();\r
text.append("\t" + key + "=" + properties.get(key));\r
}\r
+ // TODO: output alignment visualization settings here if required\r
\r
}\r
\r
text.append("displayBoxes=" + sg.getDisplayBoxes() + "\t");\r
text.append("displayText=" + sg.getDisplayText() + "\t");\r
text.append("colourText=" + sg.getColourText() + "\t");\r
-\r
+ text.append("showUnconserved="+sg.getShowunconserved()+"\t");\r
if (sg.textColour != java.awt.Color.black)\r
{\r
text.append("textCol1="\r
{\r
sg.setDisplayBoxes(Boolean.valueOf(value).booleanValue());\r
}\r
+ else if (key.equalsIgnoreCase("showUnconserved"))\r
+ {\r
+ sg.setShowunconserved(Boolean.valueOf(value).booleanValue());\r
+ }\r
else if (key.equalsIgnoreCase("displayText"))\r
{\r
sg.setDisplayText(Boolean.valueOf(value).booleanValue());\r