/// <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(); }