Text editor used in SharpDevelop 3 with some custom patches.