for WinForms
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

910 lines
31 KiB

// <file>
// <copyright see="prj:///doc/copyright.txt"/>
// <license see="prj:///doc/license.txt"/>
// <owner name="Mike Krüger" email="mike@icsharpcode.net"/>
// <version>$Revision$</version>
// </file>
using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Diagnostics;
using System.Drawing;
using System.Text;
using System.Windows.Forms;
using ICSharpCode.TextEditor.Document;
using ICSharpCode.TextEditor.Gui.CompletionWindow;
namespace ICSharpCode.TextEditor
{
public delegate bool KeyEventHandler(char ch);
public delegate bool DialogKeyProcessor(Keys keyData);
/// <summary>
/// This class paints the textarea.
/// </summary>
[ToolboxItem(defaultType: false)]
public class TextArea : Control
{
// static because the mouse can only be in one text area and we don't want to have
// tooltips of text areas from inactive tabs floating around.
private static DeclarationViewWindow toolTip;
private static string oldToolTip;
private readonly List<BracketHighlightingSheme> bracketshemes = new List<BracketHighlightingSheme>();
private readonly List<AbstractMargin> leftMargins = new List<AbstractMargin>();
//public Point selectionStartPos = new Point(0,0);
private bool disposed;
private bool hiddenMouseCursor;
private AbstractMargin lastMouseInMargin;
/// <summary>
/// The position where the mouse cursor was when it was hidden. Sometimes the text editor gets MouseMove
/// events when typing text even if the mouse is not moved.
/// </summary>
private Point mouseCursorHidePosition;
internal Point mousepos = new Point(x: 0, y: 0);
private bool toolTipActive;
/// <summary>
/// Rectangle in text area that caused the current tool tip.
/// Prevents tooltip from re-showing when it was closed because of a click or keyboard
/// input and the mouse was not used.
/// </summary>
private Rectangle toolTipRectangle;
private AbstractMargin updateMargin;
private Point virtualTop = new Point(x: 0, y: 0);
public TextArea(TextEditorControl motherTextEditorControl, TextAreaControl motherTextAreaControl)
{
MotherTextAreaControl = motherTextAreaControl;
MotherTextEditorControl = motherTextEditorControl;
Caret = new Caret(this);
SelectionManager = new SelectionManager(Document, this);
ClipboardHandler = new TextAreaClipboardHandler(this);
ResizeRedraw = true;
SetStyle(ControlStyles.OptimizedDoubleBuffer, value: true);
// SetStyle(ControlStyles.AllPaintingInWmPaint, true);
// SetStyle(ControlStyles.UserPaint, true);
SetStyle(ControlStyles.Opaque, value: false);
SetStyle(ControlStyles.ResizeRedraw, value: true);
SetStyle(ControlStyles.Selectable, value: true);
TextView = new TextView(this);
GutterMargin = new GutterMargin(this);
FoldMargin = new FoldMargin(this);
IconBarMargin = new IconBarMargin(this);
leftMargins.AddRange(new AbstractMargin[] {IconBarMargin, GutterMargin, FoldMargin});
OptionsChanged();
new TextAreaMouseHandler(this).Attach();
new TextAreaDragDropHandler().Attach(this);
bracketshemes.Add(new BracketHighlightingSheme(opentag: '{', closingtag: '}'));
bracketshemes.Add(new BracketHighlightingSheme(opentag: '(', closingtag: ')'));
bracketshemes.Add(new BracketHighlightingSheme(opentag: '[', closingtag: ']'));
Caret.PositionChanged += SearchMatchingBracket;
Document.TextContentChanged += TextContentChanged;
Document.FoldingManager.FoldingsChanged += DocumentFoldingsChanged;
}
[Browsable(browsable: false)]
public IList<AbstractMargin> LeftMargins => leftMargins.AsReadOnly();
public TextEditorControl MotherTextEditorControl { get; private set; }
public TextAreaControl MotherTextAreaControl { get; private set; }
public SelectionManager SelectionManager { get; }
public Caret Caret { get; }
public TextView TextView { get; }
public GutterMargin GutterMargin { get; }
public FoldMargin FoldMargin { get; }
public IconBarMargin IconBarMargin { get; }
public Encoding Encoding => MotherTextEditorControl.Encoding;
public int MaxVScrollValue => (Document.GetVisibleLine(Document.TotalNumberOfLines - 1) + 1 + TextView.VisibleLineCount*2/3)*TextView.FontHeight;
public Point VirtualTop
{
get => virtualTop;
set
{
var newVirtualTop = new Point(value.X, Math.Min(MaxVScrollValue, Math.Max(val1: 0, value.Y)));
var scrollBar = MotherTextAreaControl.VScrollBar;
if (virtualTop != newVirtualTop && newVirtualTop.Y >= scrollBar.Minimum && newVirtualTop.Y <= scrollBar.Maximum )
{
virtualTop = newVirtualTop;
scrollBar.Value = virtualTop.Y;
Invalidate();
}
Caret.UpdateCaretPosition();
}
}
public bool AutoClearSelection { get; set; }
[Browsable(browsable: false)]
public IDocument Document => MotherTextEditorControl.Document;
public TextAreaClipboardHandler ClipboardHandler { get; }
public ITextEditorProperties TextEditorProperties => MotherTextEditorControl.TextEditorProperties;
public bool EnableCutOrPaste
{
get
{
if (MotherTextAreaControl == null)
return false;
if (SelectionManager.HasSomethingSelected)
return !SelectionManager.SelectionIsReadonly;
return !IsReadOnly(Caret.Offset);
}
}
public void InsertLeftMargin(int index, AbstractMargin margin)
{
leftMargins.Insert(index, margin);
Refresh();
}
public void UpdateMatchingBracket()
{
SearchMatchingBracket(sender: null, e: null);
}
private void TextContentChanged(object sender, EventArgs e)
{
Caret.Position = new TextLocation(column: 0, line: 0);
SelectionManager.SelectionCollection.Clear();
}
private void SearchMatchingBracket(object sender, EventArgs e)
{
if (!TextEditorProperties.ShowMatchingBracket)
{
TextView.Highlight = null;
return;
}
int oldLine1 = -1, oldLine2 = -1;
if (TextView.Highlight != null && TextView.Highlight.OpenBrace.Y >= 0 && TextView.Highlight.OpenBrace.Y < Document.TotalNumberOfLines)
oldLine1 = TextView.Highlight.OpenBrace.Y;
if (TextView.Highlight != null && TextView.Highlight.CloseBrace.Y >= 0 && TextView.Highlight.CloseBrace.Y < Document.TotalNumberOfLines)
oldLine2 = TextView.Highlight.CloseBrace.Y;
TextView.Highlight = FindMatchingBracketHighlight();
if (oldLine1 >= 0)
UpdateLine(oldLine1);
if (oldLine2 >= 0 && oldLine2 != oldLine1)
UpdateLine(oldLine2);
if (TextView.Highlight != null)
{
var newLine1 = TextView.Highlight.OpenBrace.Y;
var newLine2 = TextView.Highlight.CloseBrace.Y;
if (newLine1 != oldLine1 && newLine1 != oldLine2)
UpdateLine(newLine1);
if (newLine2 != oldLine1 && newLine2 != oldLine2 && newLine2 != newLine1)
UpdateLine(newLine2);
}
}
public Highlight FindMatchingBracketHighlight()
{
if (Caret.Offset == 0)
return null;
foreach (var bracketsheme in bracketshemes)
{
var highlight = bracketsheme.GetHighlight(Document, Caret.Offset - 1);
if (highlight != null)
return highlight;
}
return null;
}
public void SetDesiredColumn()
{
Caret.DesiredColumn = TextView.GetDrawingXPos(Caret.Line, Caret.Column) + VirtualTop.X;
}
public void SetCaretToDesiredColumn()
{
FoldMarker dummy;
Caret.Position = TextView.GetLogicalColumn(Caret.Line, Caret.DesiredColumn + VirtualTop.X, out dummy);
}
public void OptionsChanged()
{
UpdateMatchingBracket();
TextView.OptionsChanged();
Caret.RecreateCaret();
Caret.UpdateCaretPosition();
Refresh();
}
protected override void OnMouseLeave(EventArgs e)
{
base.OnMouseLeave(e);
Cursor = Cursors.Default;
if (lastMouseInMargin != null)
{
lastMouseInMargin.HandleMouseLeave(EventArgs.Empty);
lastMouseInMargin = null;
}
CloseToolTip();
}
protected override void OnMouseDown(MouseEventArgs e)
{
// this corrects weird problems when text is selected,
// then a menu item is selected, then the text is
// clicked again - it correctly synchronises the
// click position
mousepos = new Point(e.X, e.Y);
base.OnMouseDown(e);
CloseToolTip();
foreach (var margin in leftMargins)
if (margin.DrawingPosition.Contains(e.X, e.Y))
margin.HandleMouseDown(new Point(e.X, e.Y), e.Button);
}
/// <summary>
/// Shows the mouse cursor if it has been hidden.
/// </summary>
/// <param name="forceShow">
/// <c>true</c> to always show the cursor or <c>false</c> to show it only if it has been moved
/// since it was hidden.
/// </param>
internal void ShowHiddenCursor(bool forceShow)
{
if (hiddenMouseCursor)
if (mouseCursorHidePosition != Cursor.Position || forceShow)
{
Cursor.Show();
hiddenMouseCursor = false;
}
}
private void SetToolTip(string text, int lineNumber)
{
if (toolTip == null || toolTip.IsDisposed)
toolTip = new DeclarationViewWindow(FindForm());
if (oldToolTip == text)
return;
if (text == null)
{
toolTip.Hide();
}
else
{
var p = MousePosition;
var cp = PointToClient(p);
if (lineNumber >= 0)
{
lineNumber = Document.GetVisibleLine(lineNumber);
p.Y = p.Y - cp.Y + lineNumber*TextView.FontHeight - virtualTop.Y;
}
p.Offset(dx: 3, dy: 3);
toolTip.Owner = FindForm();
toolTip.Location = p;
toolTip.Description = text;
toolTip.HideOnClick = true;
toolTip.Show();
}
oldToolTip = text;
}
public event ToolTipRequestEventHandler ToolTipRequest;
protected virtual void OnToolTipRequest(ToolTipRequestEventArgs e)
{
ToolTipRequest?.Invoke(this, e);
}
private void CloseToolTip()
{
if (toolTipActive)
{
//Console.WriteLine("Closing tooltip");
toolTipActive = false;
SetToolTip(text: null, lineNumber: -1);
}
ResetMouseEventArgs();
}
protected override void OnMouseHover(EventArgs e)
{
base.OnMouseHover(e);
//Console.WriteLine("Hover raised at " + PointToClient(Control.MousePosition));
if (MouseButtons == MouseButtons.None)
RequestToolTip(PointToClient(MousePosition));
else
CloseToolTip();
}
protected void RequestToolTip(Point mousePos)
{
if (toolTipRectangle.Contains(mousePos))
{
if (!toolTipActive)
ResetMouseEventArgs();
return;
}
//Console.WriteLine("Request tooltip for " + mousePos);
toolTipRectangle = new Rectangle(mousePos.X - 4, mousePos.Y - 4, width: 8, height: 8);
var logicPos = TextView.GetLogicalPosition(
mousePos.X - TextView.DrawingPosition.Left,
mousePos.Y - TextView.DrawingPosition.Top);
var inDocument = TextView.DrawingPosition.Contains(mousePos)
&& logicPos.Y >= 0 && logicPos.Y < Document.TotalNumberOfLines;
var args = new ToolTipRequestEventArgs(mousePos, logicPos, inDocument);
OnToolTipRequest(args);
if (args.ToolTipShown)
{
//Console.WriteLine("Set tooltip to " + args.toolTipText);
toolTipActive = true;
SetToolTip(args.toolTipText, inDocument ? logicPos.Y + 1 : -1);
}
else
{
CloseToolTip();
}
}
// external interface to the attached event
internal void RaiseMouseMove(MouseEventArgs e)
{
OnMouseMove(e);
}
protected override void OnMouseMove(MouseEventArgs e)
{
base.OnMouseMove(e);
if (!toolTipRectangle.Contains(e.Location))
{
toolTipRectangle = Rectangle.Empty;
if (toolTipActive)
RequestToolTip(e.Location);
}
foreach (var margin in leftMargins)
if (margin.DrawingPosition.Contains(e.X, e.Y))
{
Cursor = margin.Cursor;
margin.HandleMouseMove(new Point(e.X, e.Y), e.Button);
if (lastMouseInMargin != margin)
{
lastMouseInMargin?.HandleMouseLeave(EventArgs.Empty);
lastMouseInMargin = margin;
}
return;
}
if (lastMouseInMargin != null)
{
lastMouseInMargin.HandleMouseLeave(EventArgs.Empty);
lastMouseInMargin = null;
}
if (TextView.DrawingPosition.Contains(e.X, e.Y))
{
var realmousepos = TextView.GetLogicalPosition(e.X - TextView.DrawingPosition.X, e.Y - TextView.DrawingPosition.Y);
if (SelectionManager.IsSelected(Document.PositionToOffset(realmousepos)) && MouseButtons == MouseButtons.None)
Cursor = Cursors.Default;
else
Cursor = TextView.Cursor;
return;
}
Cursor = Cursors.Default;
}
public void Refresh(AbstractMargin margin)
{
updateMargin = margin;
Invalidate(updateMargin.DrawingPosition);
Update();
updateMargin = null;
}
protected override void OnPaintBackground(PaintEventArgs pevent)
{
}
protected override void OnPaint(PaintEventArgs e)
{
var currentXPos = 0;
var currentYPos = 0;
var adjustScrollBars = false;
var g = e.Graphics;
var clipRectangle = e.ClipRectangle;
var isFullRepaint = clipRectangle.X == 0 && clipRectangle.Y == 0
&& clipRectangle.Width == Width && clipRectangle.Height == Height;
g.TextRenderingHint = TextEditorProperties.TextRenderingHint;
updateMargin?.Paint(g, updateMargin.DrawingPosition);
if (clipRectangle.Width <= 0 || clipRectangle.Height <= 0)
return;
foreach (var margin in leftMargins)
if (margin.IsVisible)
{
var marginRectangle = new Rectangle(currentXPos, currentYPos, margin.Width, Height - currentYPos);
if (marginRectangle != margin.DrawingPosition)
{
// margin changed size
if (!isFullRepaint && !clipRectangle.Contains(marginRectangle))
Invalidate(); // do a full repaint
adjustScrollBars = true;
margin.DrawingPosition = marginRectangle;
}
currentXPos += margin.DrawingPosition.Width;
if (clipRectangle.IntersectsWith(marginRectangle))
{
marginRectangle.Intersect(clipRectangle);
if (!marginRectangle.IsEmpty)
margin.Paint(g, marginRectangle);
}
}
var textViewArea = new Rectangle(currentXPos, currentYPos, Width - currentXPos, Height - currentYPos);
if (textViewArea != TextView.DrawingPosition)
{
adjustScrollBars = true;
TextView.DrawingPosition = textViewArea;
// update caret position (but outside of WM_PAINT!)
BeginInvoke((MethodInvoker)Caret.UpdateCaretPosition);
}
if (clipRectangle.IntersectsWith(textViewArea))
{
textViewArea.Intersect(clipRectangle);
if (!textViewArea.IsEmpty)
TextView.Paint(g, textViewArea);
}
if (adjustScrollBars)
MotherTextAreaControl.UpdateLayout();
// we cannot update the caret position here, it's not allowed to call the caret API inside WM_PAINT
//Caret.UpdateCaretPosition();
base.OnPaint(e);
}
private void DocumentFoldingsChanged(object sender, EventArgs e)
{
Caret.UpdateCaretPosition();
Invalidate();
MotherTextAreaControl.UpdateLayout();
}
public void ScrollToCaret()
{
MotherTextAreaControl.ScrollToCaret();
}
public void ScrollTo(int line)
{
MotherTextAreaControl.ScrollTo(line);
}
public void BeginUpdate()
{
MotherTextEditorControl.BeginUpdate();
}
public void EndUpdate()
{
MotherTextEditorControl.EndUpdate();
}
private static string GenerateWhitespaceString(int length)
{
return new string(c: ' ', length);
}
/// <remarks>
/// Inserts a single character at the caret position
/// </remarks>
public void InsertChar(char ch)
{
var updating = MotherTextEditorControl.IsInUpdate;
if (!updating)
BeginUpdate();
// filter out forgein whitespace chars and replace them with standard space (ASCII 32)
if (char.IsWhiteSpace(ch) && ch != '\t' && ch != '\n')
ch = ' ';
Document.UndoStack.StartUndoGroup();
if (Document.TextEditorProperties.DocumentSelectionMode == DocumentSelectionMode.Normal &&
SelectionManager.SelectionCollection.Count > 0)
{
Caret.Position = SelectionManager.SelectionCollection[index: 0].StartPosition;
SelectionManager.RemoveSelectedText();
}
var caretLine = Document.GetLineSegment(Caret.Line);
var offset = Caret.Offset;
// use desired column for generated whitespaces
var dc = Caret.Column;
if (caretLine.Length < dc && ch != '\n')
Document.Insert(offset, GenerateWhitespaceString(dc - caretLine.Length) + ch);
else
Document.Insert(offset, ch.ToString());
Document.UndoStack.EndUndoGroup();
++Caret.Column;
if (!updating)
{
EndUpdate();
UpdateLineToEnd(Caret.Line, Caret.Column);
}
// I prefer to set NOT the standard column, if you type something
// ++Caret.DesiredColumn;
}
/// <remarks>
/// Inserts a whole string at the caret position
/// </remarks>
public void InsertString(string str)
{
var updating = MotherTextEditorControl.IsInUpdate;
if (!updating)
BeginUpdate();
try
{
Document.UndoStack.StartUndoGroup();
if (Document.TextEditorProperties.DocumentSelectionMode == DocumentSelectionMode.Normal &&
SelectionManager.SelectionCollection.Count > 0)
{
Caret.Position = SelectionManager.SelectionCollection[index: 0].StartPosition;
SelectionManager.RemoveSelectedText();
}
var oldOffset = Document.PositionToOffset(Caret.Position);
var oldLine = Caret.Line;
var caretLine = Document.GetLineSegment(Caret.Line);
if (caretLine.Length < Caret.Column)
{
var whiteSpaceLength = Caret.Column - caretLine.Length;
Document.Insert(oldOffset, GenerateWhitespaceString(whiteSpaceLength) + str);
Caret.Position = Document.OffsetToPosition(oldOffset + str.Length + whiteSpaceLength);
}
else
{
Document.Insert(oldOffset, str);
Caret.Position = Document.OffsetToPosition(oldOffset + str.Length);
}
Document.UndoStack.EndUndoGroup();
if (oldLine != Caret.Line)
UpdateToEnd(oldLine);
else
UpdateLineToEnd(Caret.Line, Caret.Column);
}
finally
{
if (!updating)
EndUpdate();
}
}
/// <remarks>
/// Replaces a char at the caret position
/// </remarks>
public void ReplaceChar(char ch)
{
var updating = MotherTextEditorControl.IsInUpdate;
if (!updating)
BeginUpdate();
if (Document.TextEditorProperties.DocumentSelectionMode == DocumentSelectionMode.Normal && SelectionManager.SelectionCollection.Count > 0)
{
Caret.Position = SelectionManager.SelectionCollection[index: 0].StartPosition;
SelectionManager.RemoveSelectedText();
}
var lineNr = Caret.Line;
var line = Document.GetLineSegment(lineNr);
var offset = Document.PositionToOffset(Caret.Position);
if (offset < line.Offset + line.Length)
Document.Replace(offset, length: 1, ch.ToString());
else
Document.Insert(offset, ch.ToString());
if (!updating)
{
EndUpdate();
UpdateLineToEnd(lineNr, Caret.Column);
}
++Caret.Column;
// ++Caret.DesiredColumn;
}
protected override void Dispose(bool disposing)
{
base.Dispose(disposing);
if (disposing)
if (!disposed)
{
disposed = true;
if (Caret != null)
{
Caret.PositionChanged -= SearchMatchingBracket;
Caret.Dispose();
}
SelectionManager?.Dispose();
Document.TextContentChanged -= TextContentChanged;
Document.FoldingManager.FoldingsChanged -= DocumentFoldingsChanged;
MotherTextAreaControl = null;
MotherTextEditorControl = null;
foreach (var margin in leftMargins)
if (margin is IDisposable disposable)
disposable.Dispose();
TextView.Dispose();
}
}
public event KeyEventHandler KeyEventHandler;
public event DialogKeyProcessor DoProcessDialogKey;
#region keyboard handling methods
/// <summary>
/// This method is called on each Keypress
/// </summary>
/// <returns>
/// True, if the key is handled by this method and should NOT be
/// inserted in the textarea.
/// </returns>
protected internal virtual bool HandleKeyPress(char ch)
{
KeyEventHandler handler = KeyEventHandler;
if (handler != null)
return handler(ch);
return false;
}
// Fixes SD2-747: Form containing the text editor and a button with a shortcut
protected override bool IsInputChar(char charCode)
{
return true;
}
internal bool IsReadOnly(int offset)
{
if (Document.ReadOnly)
return true;
if (TextEditorProperties.SupportReadOnlySegments)
return Document.MarkerStrategy.GetMarkers(offset).Exists(m => m.IsReadOnly);
return false;
}
internal bool IsReadOnly(int offset, int length)
{
if (Document.ReadOnly)
return true;
if (TextEditorProperties.SupportReadOnlySegments)
return Document.MarkerStrategy.GetMarkers(offset, length).Exists(m => m.IsReadOnly);
return false;
}
public void SimulateKeyPress(char ch)
{
if (SelectionManager.HasSomethingSelected)
{
if (SelectionManager.SelectionIsReadonly)
return;
}
else if (IsReadOnly(Caret.Offset))
{
return;
}
if (ch < ' ')
return;
if (!hiddenMouseCursor && TextEditorProperties.HideMouseCursor)
if (ClientRectangle.Contains(PointToClient(Cursor.Position)))
{
mouseCursorHidePosition = Cursor.Position;
hiddenMouseCursor = true;
Cursor.Hide();
}
CloseToolTip();
BeginUpdate();
Document.UndoStack.StartUndoGroup();
try
{
// INSERT char
if (!HandleKeyPress(ch))
switch (Caret.CaretMode)
{
case CaretMode.InsertMode:
InsertChar(ch);
break;
case CaretMode.OverwriteMode:
ReplaceChar(ch);
break;
default:
Debug.Assert(condition: false, "Unknown caret mode " + Caret.CaretMode);
break;
}
var currentLineNr = Caret.Line;
Document.FormattingStrategy.FormatLine(this, currentLineNr, Document.PositionToOffset(Caret.Position), ch);
EndUpdate();
}
finally
{
Document.UndoStack.EndUndoGroup();
}
}
protected override void OnKeyPress(KeyPressEventArgs e)
{
base.OnKeyPress(e);
SimulateKeyPress(e.KeyChar);
e.Handled = true;
}
/// <summary>
/// This method executes a dialog key
/// </summary>
public bool ExecuteDialogKey(Keys keyData)
{
// try, if a dialog key processor was set to use this
DialogKeyProcessor handler = DoProcessDialogKey;
if (handler != null && handler(keyData))
return true;
// if not (or the process was 'silent', use the standard edit actions
var action = MotherTextEditorControl?.GetEditAction(keyData);
AutoClearSelection = true;
if (action != null)
{
BeginUpdate();
try
{
lock (Document)
{
action.Execute(this);
if (SelectionManager.HasSomethingSelected && AutoClearSelection /*&& caretchanged*/)
if (Document.TextEditorProperties.DocumentSelectionMode == DocumentSelectionMode.Normal)
SelectionManager.ClearSelection();
}
}
finally
{
EndUpdate();
Caret.UpdateCaretPosition();
}
return true;
}
return false;
}
protected override bool ProcessDialogKey(Keys keyData)
{
return ExecuteDialogKey(keyData) || base.ProcessDialogKey(keyData);
}
#endregion
#region UPDATE Commands
internal void UpdateLine(int line)
{
UpdateLines(xPos: 0, line, line);
}
internal void UpdateLines(int lineBegin, int lineEnd)
{
UpdateLines(xPos: 0, lineBegin, lineEnd);
}
internal void UpdateToEnd(int lineBegin)
{
// if (lineBegin > FirstPhysicalLine + textView.VisibleLineCount) {
// return;
// }
lineBegin = Document.GetVisibleLine(lineBegin);
var y = Math.Max(val1: 0, lineBegin*TextView.FontHeight);
y = Math.Max(val1: 0, y - virtualTop.Y);
var r = new Rectangle(
x: 0,
y,
Width,
Height - y);
Invalidate(r);
}
internal void UpdateLineToEnd(int lineNr, int xStart)
{
UpdateLines(xStart, lineNr, lineNr);
}
internal void UpdateLine(int line, int begin, int end)
{
UpdateLines(line, line);
}
private int FirstPhysicalLine => VirtualTop.Y/TextView.FontHeight;
internal void UpdateLines(int xPos, int lineBegin, int lineEnd)
{
// if (lineEnd < FirstPhysicalLine || lineBegin > FirstPhysicalLine + textView.VisibleLineCount) {
// return;
// }
InvalidateLines(lineBegin, lineEnd);
}
private void InvalidateLines(int lineBegin, int lineEnd)
{
lineBegin = Math.Max(Document.GetVisibleLine(lineBegin), FirstPhysicalLine);
lineEnd = Math.Min(Document.GetVisibleLine(lineEnd), FirstPhysicalLine + TextView.VisibleLineCount);
var y = Math.Max(val1: 0, lineBegin*TextView.FontHeight);
var height = Math.Min(TextView.DrawingPosition.Height, (1 + lineEnd - lineBegin)*(TextView.FontHeight + 1));
var r = new Rectangle(
x: 0,
y - 1 - virtualTop.Y,
Width,
height + 3);
Invalidate(r);
}
#endregion
//internal void
}
}