public void Copy(PrettyPrinterOptions options)
{
ViewPosition = options.ViewPosition;
ViewTag = options.ViewTag;
ViewLength = options.ViewLength;
DottedIndentation = options.DottedIndentation;
ShowTagClass = options.ShowTagClass;
IncludeEncapsulated = options.IncludeEncapsulated;
OidFormat = options.OidFormat;
OidSource = options.OidSource;
FontName = options.FontName;
}
public void Copy (PrettyPrinterOptions options)
{
ViewPosition = options.ViewPosition;
ViewTag = options.ViewTag;
ViewLength = options.ViewLength;
DottedIndentation = options.DottedIndentation;
ShowTagClass = options.ShowTagClass;
IncludeEncapsulated = options.IncludeEncapsulated;
OidFormat = options.OidFormat;
OidSource = options.OidSource;
FontName = options.FontName;
}
private void UpdateOptions()
{
view_position.Active = options.ViewPosition;
view_tag.Active = options.ViewTag;
view_length.Active = options.ViewLength;
view_dotted_indentation.Active = options.DottedIndentation;
switch (options.OidFormat)
{
case OidFormat.ITU:
view_oid_format_itu.Active = true;
view_oid_format_ietf.Active = false;
view_oid_format_urn.Active = false;
break;
case OidFormat.IETF:
view_oid_format_itu.Active = false;
view_oid_format_ietf.Active = true;
view_oid_format_urn.Active = false;
break;
case OidFormat.URN:
view_oid_format_itu.Active = false;
view_oid_format_ietf.Active = false;
view_oid_format_urn.Active = true;
break;
}
view_display_class.Active = options.ShowTagClass;
view_encapsulated.Active = options.IncludeEncapsulated;
OidSource source1 = options.OidSource;
if (source1 == OidSource.Alvestrand)
{
settings_oid_none.Active = false;
settings_oid_alvestrand.Active = true;
settings_oid_elibel.Active = false;
}
else if (source1 == OidSource.Elibel)
{
settings_oid_none.Active = false;
settings_oid_alvestrand.Active = false;
settings_oid_elibel.Active = true;
}
else
{
settings_oid_none.Active = true;
settings_oid_alvestrand.Active = false;
settings_oid_elibel.Active = false;
}
}