if (e.Property.Equals(DrawCaretLineProperty))
source.View.HideLineMarker = !source.DrawCaretLine;
if (e.Property.Equals(DrawLineNumberProperty))
- {
source.Document.DrawLineNumber = source.DrawLineNumber;
- source._Controller.JumpCaret(source.Document.CaretPostion.row, source.Document.CaretPostion.col);
- }
if(e.Property.Equals(MagnificationPowerPropertyKey))
source.Render.FontSize = source.FontSize * source.MagnificationPower;
if (e.Property.Equals(FontFamilyProperty))