private RenderOptions GetOptions()
{
var options = RenderOptions ?? new RenderOptions();
if (Position.HasValue)
{
options.Position = Position;
}
if (ShowTrivial.HasValue)
{
options.ShowTrivial = ShowTrivial;
}
if (ShowTimeWithChildren.HasValue)
{
options.ShowTimeWithChildren = ShowTimeWithChildren;
}
if (MaxTraces.HasValue)
{
options.MaxTracesToShow = MaxTraces;
}
if (ShowControls.HasValue)
{
options.ShowControls = ShowControls;
}
if (StartHidden.HasValue)
{
options.StartHidden = StartHidden;
}
if (ColorScheme.HasValue)
{
options.ColorScheme = ColorScheme;
}
if (DecimalPlaces.HasValue)
{
options.DecimalPlaces = DecimalPlaces;
}
if (Nonce.HasValue())
{
options.Nonce = Nonce;
}
return(options);
}
