public void OnChangedRenderResource(object sender, ChangedRenderRsourceEventArgs e)
{
if (this.ChangedRenderResource != null)
{
this.ChangedRenderResource(sender, e);
}
}
void render_ChangedRenderResource(object sender, ChangedRenderRsourceEventArgs e)
{
this._LayoutLines.ClearLayoutCache();
if (e.type == ResourceType.Font || e.type == ResourceType.All)
{
if (this.Document.LineBreak == LineBreakMethod.PageBound)
{
this.Document.PerformLayout();
}
this.CalculateClipRect();
this.CalculateLineCountOnScreen();
this.CalculateWhloeViewPort();
this.Document.RaiseCaretPostionChanged();
}
if (e.type == ResourceType.InlineChar)
{
this.CalculateLineCountOnScreen();
}
}