Пример #1
0
 /// <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());
     }
 }
Пример #2
0
        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));
            }
        }
Пример #3
0
        /// <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);
        }
Пример #4
0
 protected override void OnRender(DrawingContext drawingContext)
 {
     WinFormsControl.Invalidate();
 }