protected virtual void DisposeTextEditor(CodeEditorView textEditor)
{
foreach (var d in textEditor.TextArea.LeftMargins.OfType <IDisposable>())
{
d.Dispose();
}
textEditor.Dispose();
}
protected virtual void DisposeTextEditor(CodeEditorView textEditor)
{
foreach (var d in textEditor.TextArea.LeftMargins.OfType <IDisposable>())
{
d.Dispose();
}
textEditor.TextArea.GetRequiredService <EnhancedScrollBar>().Dispose();
var highlighter = textEditor.TextArea.GetService <IHighlighter>();
if (highlighter != null)
{
highlighter.Dispose();
}
textEditor.Dispose();
}
protected virtual void DisposeTextEditor(CodeEditorView textEditor)
{
foreach (var d in textEditor.TextArea.LeftMargins.OfType<IDisposable>())
d.Dispose();
textEditor.Dispose();
}
protected virtual void DisposeTextEditor(CodeEditorView textEditor)
{
foreach (var d in textEditor.TextArea.LeftMargins.OfType<IDisposable>())
d.Dispose();
textEditor.TextArea.GetRequiredService<EnhancedScrollBar>().Dispose();
var highlighter = textEditor.TextArea.GetService<IHighlighter>();
if (highlighter != null)
highlighter.Dispose();
textEditor.Dispose();
}
