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); }