/// <summary>
/// Event handler that occurs when margins needs to be redrawn.
/// </summary>
/// <param name="sender">Event sender.</param>
/// <param name="e">Event arguments.</param>
private void OnMarginCoreMarginRedraw(object sender, MarginRedrawEventArgs e)
{
switch (e.Reason)
{
case MarginDrawReason.InternalReason:
case MarginDrawReason.VersionControlItemChanged:
case MarginDrawReason.TextViewZoomLevelChanged:
case MarginDrawReason.TextDocFileActionOccurred:
case MarginDrawReason.TextViewTextChanged:
case MarginDrawReason.TextViewLayoutChanged:
case MarginDrawReason.EditorFormatMapChanged:
case MarginDrawReason.GeneralSettingsChanged:
DrawMargins(e.DiffLines);
break;
case MarginDrawReason.ScrollMapMappingChanged:
return;
default:
throw new ArgumentOutOfRangeException();
}
}
/// <summary>
/// Event handler that occurs when margins needs to be redrawn.
/// </summary>
/// <param name="sender">Event sender.</param>
/// <param name="e">Event arguments.</param>
private void OnMarginCoreMarginRedraw(object sender, MarginRedrawEventArgs e)
{
switch (e.Reason)
{
case MarginDrawReason.InternalReason:
case MarginDrawReason.VersionControlItemChanged:
case MarginDrawReason.TextViewZoomLevelChanged:
case MarginDrawReason.TextDocFileActionOccurred:
case MarginDrawReason.TextViewTextChanged:
case MarginDrawReason.EditorFormatMapChanged:
case MarginDrawReason.GeneralSettingsChanged:
case MarginDrawReason.ScrollMapMappingChanged:
DrawMargins(e.DiffLines);
break;
case MarginDrawReason.TextViewLayoutChanged:
return;
default:
throw new ArgumentOutOfRangeException();
}
}
