public InheritanceContractAdornment(ITrackingSpan span, VSTextProperties vsTextProperties, Logger logger, Action queueRefreshLineTransformer, AdornmentOptions options = AdornmentOptions.None) : base(span, vsTextProperties, logger, queueRefreshLineTransformer, options) { Contract.Requires(span != null); Contract.Requires(logger != null); //SizeChanged += OnSizeChanged; }