Represents a DropMarker, currently a single document point.
Наследование: ManagedRange
 /// <summary>
 ///     Initializes a new instance of the DropMarkerCollectEventArgs class.
 /// </summary>
 public DropMarkerCollectEventArgs(DropMarker dropMarker)
 {
     this._dropMarker = dropMarker;
 }
Пример #2
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)
        {
            var dm = new DropMarker(position, position, this.GetCurrentTopOffset(), Scintilla);
            this._allDocumentDropMarkers.Add(dm);
            this._markerStack.Push(dm);
            Scintilla.ManagedRanges.Add(dm);

            //	Force the Drop Marker to paint
            Scintilla.Invalidate(dm.GetClientRectangle());
            return dm;
        }