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