The WPF-based text editor component used in SharpDevelop - View it on GitHub