The WPF-based text editor component used in SharpDevelop