public TextArea(TextEditorControl motherTextEditorControl, TextAreaControl motherTextAreaControl) { this.motherTextAreaControl = motherTextAreaControl; this.motherTextEditorControl = motherTextEditorControl; caret = new Caret(this); selectionManager = new SelectionManager(Document); this.textAreaClipboardHandler = new TextAreaClipboardHandler(this); ResizeRedraw = true; SetStyle(ControlStyles.DoubleBuffer, false); // SetStyle(ControlStyles.AllPaintingInWmPaint, true); // SetStyle(ControlStyles.UserPaint, true); SetStyle(ControlStyles.Opaque, false); SetStyle(ControlStyles.ResizeRedraw, true); SetStyle(ControlStyles.Selectable, true); textView = new TextView(this); gutterMargin = new GutterMargin(this); foldMargin = new FoldMargin(this); iconBarMargin = new IconBarMargin(this); leftMargins.AddRange(new AbstractMargin[] { iconBarMargin, gutterMargin, foldMargin }); OptionsChanged(); new TextAreaMouseHandler(this).Attach(); new TextAreaDragDropHandler().Attach(this); bracketshemes.Add(new BracketHighlightingSheme('{', '}')); bracketshemes.Add(new BracketHighlightingSheme('(', ')')); bracketshemes.Add(new BracketHighlightingSheme('[', ']')); caret.PositionChanged += new EventHandler(SearchMatchingBracket); Document.TextContentChanged += new EventHandler(TextContentChanged); Document.FoldingManager.FoldingsChanged += new EventHandler(DocumentFoldingsChanged); }
public TextArea(TextEditorControl motherTextEditorControl, TextAreaControl motherTextAreaControl) { MotherTextAreaControl = motherTextAreaControl; MotherTextEditorControl = motherTextEditorControl; Caret = new Caret(this); SelectionManager = new SelectionManager(Document, this); MousePos = new Point(0, 0); ResizeRedraw = true; SetStyle(ControlStyles.OptimizedDoubleBuffer, true); // SetStyle(ControlStyles.AllPaintingInWmPaint, true); // SetStyle(ControlStyles.UserPaint, true); SetStyle(ControlStyles.Opaque, false); SetStyle(ControlStyles.ResizeRedraw, true); SetStyle(ControlStyles.Selectable, true); TextView = new TextView(this); GutterMargin = new GutterMargin(this); FoldMargin = new FoldMargin(this); IconBarMargin = new IconBarMargin(this); _leftMargins.AddRange(new IMargin[] { IconBarMargin, GutterMargin, FoldMargin }); OptionsChanged(); new TextAreaMouseHandler(this).Attach(); //TODO1 refactor all these new TextAreaDragDropHandler().Attach(this); _bracketSchemes.Add(new BracketHighlightingSheme('{', '}')); //TODO1 hardcoded _bracketSchemes.Add(new BracketHighlightingSheme('(', ')')); _bracketSchemes.Add(new BracketHighlightingSheme('[', ']')); Caret.PositionChanged += new EventHandler(SearchMatchingBracket); Document.TextContentChanged += TextContentChanged; Document.FoldingManager.FoldingsChanged += new EventHandler(DocumentFoldingsChanged); }
public TextArea(TextEditorControl motherTextEditorControl, TextAreaControl motherTextAreaControl) { MotherTextAreaControl = motherTextAreaControl; MotherTextEditorControl = motherTextEditorControl; Caret = new Caret(this); SelectionManager = new SelectionManager(Document, this); ClipboardHandler = new TextAreaClipboardHandler(this); ResizeRedraw = true; SetStyle(ControlStyles.OptimizedDoubleBuffer, value: true); // SetStyle(ControlStyles.AllPaintingInWmPaint, true); // SetStyle(ControlStyles.UserPaint, true); SetStyle(ControlStyles.Opaque, value: false); SetStyle(ControlStyles.ResizeRedraw, value: true); SetStyle(ControlStyles.Selectable, value: true); TextView = new TextView(this); GutterMargin = new GutterMargin(this); FoldMargin = new FoldMargin(this); IconBarMargin = new IconBarMargin(this); leftMargins.AddRange(new AbstractMargin[] { IconBarMargin, GutterMargin, FoldMargin }); OptionsChanged(); new TextAreaMouseHandler(this).Attach(); new TextAreaDragDropHandler().Attach(this); bracketshemes.Add(new BracketHighlightingSheme(opentag: '{', closingtag: '}')); bracketshemes.Add(new BracketHighlightingSheme(opentag: '(', closingtag: ')')); bracketshemes.Add(new BracketHighlightingSheme(opentag: '[', closingtag: ']')); Caret.PositionChanged += SearchMatchingBracket; Document.TextContentChanged += TextContentChanged; Document.FoldingManager.FoldingsChanged += DocumentFoldingsChanged; }
public TextArea(TextEditorControl motherTextEditorControl, TextAreaControl motherTextAreaControl) { this.motherTextAreaControl = motherTextAreaControl; this.motherTextEditorControl = motherTextEditorControl; caret = new Caret(this); selectionManager = new SelectionManager(Document); this.textAreaClipboardHandler = new TextAreaClipboardHandler(this); ResizeRedraw = true; SetStyle(ControlStyles.DoubleBuffer, false); // SetStyle(ControlStyles.AllPaintingInWmPaint, true); // SetStyle(ControlStyles.UserPaint, true); SetStyle(ControlStyles.Opaque, false); SetStyle(ControlStyles.ResizeRedraw, true); SetStyle(ControlStyles.Selectable, true); textView = new TextView(this); gutterMargin = new GutterMargin(this); foldMargin = new FoldMargin(this); iconBarMargin = new IconBarMargin(this); leftMargins.AddRange(new AbstractMargin[] { iconBarMargin, gutterMargin, foldMargin }); OptionsChanged(); new TextAreaMouseHandler(this).Attach(); new TextAreaDragDropHandler().Attach(this); bracketshemes.Add(new BracketHighlightingSheme('{', '}')); bracketshemes.Add(new BracketHighlightingSheme('(', ')')); bracketshemes.Add(new BracketHighlightingSheme('[', ']')); caret.PositionChanged += new EventHandler(SearchMatchingBracket); Document.TextContentChanged += new EventHandler(TextContentChanged); Document.FoldingManager.FoldingsChanged += new EventHandler(DocumentFoldingsChanged); }