/// <summary>
/// Forces a repaint of the DropMarker
/// </summary>
public void Invalidate()
{
if (Scintilla != null && Start > 0)
{
// Invalidate the old Marker Location so that we don't get "Ghosts"
Scintilla.Invalidate(GetClientRectangle());
}
}
public void Invalidate()
{
if (Scintilla != null && Start > 0)
{
INativeScintilla _ns = Scintilla as INativeScintilla;
int x = _ns.PointXFromPosition(Start);
int y = _ns.PointYFromPosition(Start) + _ns.TextHeight(0) - 2;
// Invalidate the old Marker Location so that we don't get "Ghosts"
Scintilla.Invalidate(new Rectangle(x - 2, y, 5, 5));
}
}
/// <summary>
/// Drops a DropMarker at the specified document position
/// </summary>
/// <param name="position"></param>
/// <returns>The newly created DropMarker</returns>
/// <remarks>
/// Dropping a DropMarker creates a visual marker (red triangle)
/// indicating the DropMarker point.
/// </remarks>
public DropMarker Drop(int position)
{
DropMarker dm = new DropMarker(position, position, GetCurrentTopOffset(), Scintilla);
_allDocumentDropMarkers.Add(dm);
_markerStack.Push(dm);
Scintilla.ManagedRanges.Add(dm);
// Force the Drop Marker to paint
Scintilla.Invalidate(dm.GetClientRectangle());
return(dm);
}
protected override void OnRender(DrawingContext drawingContext)
{
WinFormsControl.Invalidate();
}
