public TextArea(TextEditorControl motherTextEditorControl, TextAreaControl motherTextAreaControl)
{
this.motherTextAreaControl = motherTextAreaControl;
this.motherTextEditorControl = motherTextEditorControl;
caret = new Caret(this);
selectionManager = new SelectionManager(Document, this);
this.textAreaClipboardHandler = new TextAreaClipboardHandler(this);
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 AbstractMargin[] { iconBarMargin, gutterMargin, foldMargin });
OptionsChanged();
new TextAreaMouseHandler(this).Attach();
// 下列语句需要在STAThread 下才能运行
//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);
}