Code editor based on SharpDevelop 3's editor.