public void Attach(TextArea textArea) { this.textArea = textArea; textArea.AllowDrop = true; textArea.DragEnter += MakeDragEventHandler(OnDragEnter); textArea.DragDrop += MakeDragEventHandler(OnDragDrop); textArea.DragOver += MakeDragEventHandler(OnDragOver); }
protected AbstractMargin(TextArea textArea) { this.textArea = textArea; }
public GutterMargin(TextArea textArea) : base(textArea) { numberStringFormat.LineAlignment = StringAlignment.Far; numberStringFormat.FormatFlags = StringFormatFlags.MeasureTrailingSpaces | StringFormatFlags.FitBlackBox | StringFormatFlags.NoWrap | StringFormatFlags.NoClip; }
public Win32Caret(Caret caret) { this.textArea = caret.textArea; }
public TextAreaControl(TextEditorControl motherTextEditorControl) { this.motherTextEditorControl = motherTextEditorControl; this.textArea = new TextArea(motherTextEditorControl, this); Controls.Add(textArea); vScrollBar.ValueChanged += new EventHandler(VScrollBarValueChanged); Controls.Add(this.vScrollBar); hScrollBar.ValueChanged += new EventHandler(HScrollBarValueChanged); Controls.Add(this.hScrollBar); ResizeRedraw = true; Document.TextContentChanged += DocumentTextContentChanged; Document.DocumentChanged += AdjustScrollBarsOnDocumentChange; Document.UpdateCommited += DocumentUpdateCommitted; }
public void Dispose() { textArea.GotFocus -= new EventHandler(GotFocus); textArea.LostFocus -= new EventHandler(LostFocus); textArea = null; caretImplementation.Dispose(); }
public ManagedCaret(Caret caret) { base.RequireRedrawOnPositionChange = true; this.textArea = caret.textArea; this.parentCaret = caret; timer.Tick += CaretTimerTick; }
public IconBarMargin(TextArea textArea) : base(textArea) { }
public Caret(TextArea textArea) { this.textArea = textArea; textArea.GotFocus += new EventHandler(GotFocus); textArea.LostFocus += new EventHandler(LostFocus); if (Environment.OSVersion.Platform == PlatformID.Unix) caretImplementation = new ManagedCaret(this); else caretImplementation = new Win32Caret(this); }
public TextAreaClipboardHandler(TextArea textArea) { this.textArea = textArea; textArea.SelectionManager.SelectionChanged += new EventHandler(DocumentSelectionChanged); }
public TextAreaMouseHandler(TextArea ttextArea) { textArea = ttextArea; }
public FoldMargin(TextArea textArea) : base(textArea) { }
public TextView(TextArea textArea) : base(textArea) { base.Cursor = Cursors.IBeam; OptionsChanged(); }
public HRuler(TextArea textArea) { this.textArea = textArea; }