Example #1
0
 protected virtual void DisposeTextEditor(CodeEditorView textEditor)
 {
     foreach (var d in textEditor.TextArea.LeftMargins.OfType <IDisposable>())
     {
         d.Dispose();
     }
     textEditor.Dispose();
 }
Example #2
0
        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();
		}
Example #4
0
		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();
		}