public void Attach(TextArea textArea)
		{
			this.textArea = textArea;
			textArea.AllowDrop = true;
			
			textArea.DragEnter += MakeDragEventHandler(OnDragEnter);
			textArea.DragDrop  += MakeDragEventHandler(OnDragDrop);
			textArea.DragOver  += MakeDragEventHandler(OnDragOver);
		}
Beispiel #2
0
		protected AbstractMargin(TextArea textArea)
		{
			this.textArea = textArea;
		}
Beispiel #3
0
		public GutterMargin(TextArea textArea) : base(textArea)
		{
			numberStringFormat.LineAlignment = StringAlignment.Far;
			numberStringFormat.FormatFlags   = StringFormatFlags.MeasureTrailingSpaces | StringFormatFlags.FitBlackBox |
				StringFormatFlags.NoWrap | StringFormatFlags.NoClip;
		}
Beispiel #4
0
			public Win32Caret(Caret caret)
			{
				this.textArea = caret.textArea;
			}
Beispiel #5
0
		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;
		}
Beispiel #6
0
		public void Dispose()
		{
			textArea.GotFocus  -= new EventHandler(GotFocus);
			textArea.LostFocus -= new EventHandler(LostFocus);
			textArea = null;
			caretImplementation.Dispose();
		}
Beispiel #7
0
			public ManagedCaret(Caret caret)
			{
				base.RequireRedrawOnPositionChange = true;
				this.textArea = caret.textArea;
				this.parentCaret = caret;
				timer.Tick += CaretTimerTick;
			}
Beispiel #8
0
		public IconBarMargin(TextArea textArea) : base(textArea)
		{
		}
Beispiel #9
0
		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;
		}
Beispiel #12
0
		public FoldMargin(TextArea textArea) : base(textArea)
		{
		}
Beispiel #13
0
		public TextView(TextArea textArea) : base(textArea)
		{
			base.Cursor = Cursors.IBeam;
			OptionsChanged();
		}
Beispiel #14
0
		public HRuler(TextArea textArea)
		{
			this.textArea = textArea;
		}