/// <summary>
/// Creates a new ContractAdornment for the given method (specified by the tag).
/// </summary>
public ContractAdornment(ITrackingSpan span, VSTextProperties vsTextProperties, Logger logger, Action queueRefreshLineTransfomer, AdornmentOptions options = AdornmentOptions.None)
{
Contract.Requires(span != null);
Contract.Requires(logger != null);
_logger = logger;
Span = span;
InitializeComponent();
_queueRefreshLineTransformer = queueRefreshLineTransfomer;
Visibility = Visibility.Collapsed;
_vsTextProperties = vsTextProperties;
for (int i = 0; i < vsTextProperties.TabSize; i++)
{
_tabsAsSpaces += " ";
}
_options = options;
LayoutUpdated += OnLayoutUpdated;
IsVisibleChanged += OnVisibilityChanged;
Visual.MouseEnter += OnMouseEnter;
Visual.MouseLeave += OnMouseLeave;
int size = (int)vsTextProperties.FontSize;
/*
* if (size <= 9) size = 8;
* else if (size == 10) size = 9;
* else size = size - 2;
*/
rootGrid.SetValue(TextBlock.FontSizeProperty, (double)size);
SetVisual();
}
public MetadataContractAdornment(ITrackingSpan span, VSTextProperties vsTextProperties, Logger logger, Action queueRefreshLineTransfomer, AdornmentOptions options = AdornmentOptions.None)
: base(span, vsTextProperties, logger, queueRefreshLineTransfomer, options)
{
Contract.Requires(span != null);
Contract.Requires(logger != null);
SizeChanged += OnSizeChanged;
}
public MetadataContractAdornment(ITrackingSpan span, VSTextProperties vsTextProperties, Logger logger, Action queueRefreshLineTransfomer, AdornmentOptions options = AdornmentOptions.None)
: base(span, vsTextProperties, logger, queueRefreshLineTransfomer, options)
{
Contract.Requires(span != null);
Contract.Requires(logger != null);
SizeChanged += OnSizeChanged;
}
/// <summary>
/// Creates a new ContractAdornment for the given method (specified by the tag).
/// </summary>
public ContractAdornment(ITrackingSpan span, VSTextProperties vsTextProperties, Logger logger, Action queueRefreshLineTransfomer, AdornmentOptions options = AdornmentOptions.None) {
Contract.Requires(span != null);
Contract.Requires(logger != null);
_logger = logger;
Span = span;
InitializeComponent();
_queueRefreshLineTransformer = queueRefreshLineTransfomer;
Visibility = Visibility.Collapsed;
_vsTextProperties = vsTextProperties;
for (int i = 0; i < vsTextProperties.TabSize; i++) {
_tabsAsSpaces += " ";
}
_options = options;
LayoutUpdated += OnLayoutUpdated;
IsVisibleChanged += OnVisibilityChanged;
Visual.MouseEnter += OnMouseEnter;
Visual.MouseLeave += OnMouseLeave;
int size = (int)vsTextProperties.FontSize;
/*
if (size <= 9) size = 8;
else if (size == 10) size = 9;
else size = size - 2;
*/
rootGrid.SetValue(TextBlock.FontSizeProperty, (double)size);
SetVisual();
}