public void Set(Properties attributes) {
string value;
if ((value = attributes.Remove(ElementTags.NUMBERDEPTH)) != null) {
NumberDepth = int.Parse(value);
}
if ((value = attributes.Remove(ElementTags.INDENT)) != null) {
Indentation = float.Parse(value, System.Globalization.NumberFormatInfo.InvariantInfo);
}
if ((value = attributes.Remove(ElementTags.INDENTATIONLEFT)) != null) {
IndentationLeft = float.Parse(value, System.Globalization.NumberFormatInfo.InvariantInfo);
}
if ((value = attributes.Remove(ElementTags.INDENTATIONRIGHT)) != null) {
IndentationRight = float.Parse(value, System.Globalization.NumberFormatInfo.InvariantInfo);
}
}